under the circumstances you outlined, I would certainly have either coolant or preferably oil, chemically analysed to check for presence of combustion gasses etc
For about $40, you will know for sure whether the head gasket integrity was compromised by an overheat