It should only be a head gasket as of now. You're overthinking it that its the whole engine. Have the work done at an independent shop or do the work yourself.