following my first question - does anyone know how much it would cost to replace a head gasket? My mechanic said it was about £ 400 is that right??