To fix the coolent leak they just installed a new gasket.

Did i mention that prior to the engine stalling the oil pressure was extremely low?

Anyways, thanks to everyone for your help.