I would be worried about what the coolant in the oil did to the bottom end of the motor.
Bearings, maybe the rings. Cover all the bases and ask all the ? And get them to put Anything they say they checked and is ok in writing. At this point, I would trust nothing.