Adsit offers rebuilt engines for 3995+400 core. I'm sure there are used engines out there much cheaper. Sounds steep. Did the mechanic do a wet compression test, also? That would give you an idea where the problem lies, ie head or internal block.