If you are having the marina do the work, then they may just want to replace the engine with a new/remanufactured one. It will be pricey.
If you are going the DIY route to some extent, you may be able to have the engine rebuilt, probably will be getting a new cylinder head. Hopefully the...