Since my right hand head gasket/head was done a bit ago in its service history (about 5000 km ago), and since it's called for in the normal service...