Have a 2000 Caddy Deville with no drivability complaints associated with the head gasket/stripped head bolt threads issues but did test positive for CO2 in the coolant after a high rpm run on the highway, it just turned the color from blue to a light green not... Login to read more.