The head gasket in my other half's Y Reg Golf TDI has gone and it's in a garage waiting to be repaired some time next week. Does anyone know roughly how much it would cost to repair, or whether the garage (he's a really good mechanic) would be most likely to say it's not worth repairing, given the age of the car?