Flushing the coolant is one of the procedures in order to remove the head. I don't know why they wouldn't drain it, seems fishy to me. Even if your car runs great, this does not necessarily mean that your headgasket is sealing properly. I'd do a leak down test.