Hi,
Is the engine that badly damaged? Normally it’s possible to get the head skimmed and then the top end rebuilt. Did the mechanic offer that as an option?
Not sure where you are in the World but here is a link to a company that provide these services. It will give you some indication of what’s involved. Perhaps you can find a company local to you that could do the work.