A head gasket replacement on the 2.0 liter is a very simple repair. Any experienced mechanic with a set of whitworth wrenches should be able to do it. If the engine is original it should be the later spread bore. I would take the time to order replacement parts, get the manual (or at least a pdf version) and present all to the mechanic so they don't have to research. Should be as simple as checking the head and block once removed and reinstalling.
What is going on here? Is that for your choke to return?
What is going on here? Is that for your choke to return?