If they are using modern equipment for OBD2 to diagnose a 1990 Reatta, they won't get a result. Maybe they are looking at exhaust gases in the coolant? It seems we have statements made but the evidence of how the conclusion was arrived at is missing? It seems the shop is blaming a mechanical failure when the evidence suggests a sensor or control malfunction. I don't understand how a headgasket could be diagnosed without documentation? Leak down test, compression test, exhaust in the coolant or coolant overflow from being pressurized by cylinder compression, coolant in the oil. What's the evidence?