Quick question guys - Head gasket problems Ford Focus 1.8 tdi

Girlfriend had the water pump go a coulple of months ago, due to not filling up her coolant system . Then noticed the temperature guage reached normal remperature but a lot quicker than normal, so took it back to the garage to see what the problem was.

Garage said it was probably the head gasket. She paid him to replace it. Recieved the invoice for £400 odd just for the head gasket change, but when he took the head off to change the gasket, commented and said the gasket was fine, and that the 'assumes' there is a hole/crack in the head. Since then he has refitted the head, and is quoting £1300 to remove the head and weld up what ever crack there may be.

Also there is oil in the coolant system.

Does all this sound correct? as it seems a bit hit of miss?

Car has been driven since, she says she can smell a burning smell when shes driving.

Anyone got any idea?

Thanks

Dan

N.B, a couple of places ive read say the problem may be the oil cooler packing in.

More likely to be an oil cooler problem.

if the head is cracked, i would be sourcing a second hand one mate.