He's probably snagged a heater hose when taking gearbox off. The engine may have tilted back and punctured a hose.
As long as he is offering to rectify it then you shouldnt worry.
A forum community dedicated to Kia owners and enthusiasts. Come join the discussion about performance, modifications, troubleshooting, maintenance, and more!