If a light came on the dash, it is likely that the car was overheated before it went in for service. That is most likely when the engine damage occurred. I would agree that this likely could be determined before the repair but not in all cases. If you are considering having another engine installed, you might see if they will apply the labor already done towards the engine replacement job.