Checked that
If I have to take the head off, what else would you do? 2008 model with 164,000 k. I have always babied the bloody thing (oil change every 5,000k,-filter at 10, warm it up, letting it run a while before turning off, etc.)
, not milky and no white smoke coming from the exhaust.