anyone ever change the oil in their high pressure pump? doesn't look like a big deal. I can't remember the interval, but the book says to change it.