My two cents worth were based on experience. 250,000 is a common point at which head gasket failure may occur, Bob10 is very fortunate to have avoided this. It is not a case of falling for the head gasket syndrome but one of recognising the elephant in the room.
Nick

