We recently had a head gasket in a small diesel pick go out. There were non available. So we had a new one manufactured for less than $30 US.