Hello medtro,
IMO, prior to tearing it down and replacing parts, the shop needs to figure out what's causing the codes.
Pretty easy to loosen the 2 top timing belt covers to see if the timing is correct or not.
If the timing is correct, maybe it's a sensor, solenoid, or wiring.
That little mark...