Have them pull the intake, they have to anyway, and look at the intake gasket for #7. It is probably broken between the coolant passage and the intake port. If the gasket gives up catastrophically it can even dump coolant in to the crankcase. If the gasket is bad I would gamble and put it back together with new intake gaskets, pressure test it and if it holds pressure fire it up. It will smoke for a while because the exhaust is full of water but if the coolant level does not drop (it may if the heater core is empty) or push coolant out it will probably be OK.
Randy
