Anyone have any experience on removing a Yanmar high pressure pump. While doing an oil change and general look over today, I noticed a very slight leak where the high pressure pump mounts to the block. ( 3GM ) This is a very, very slight seep, that looks to me more like oil than diesel. Appears there is a gasket or O ring under the mounting flange, that is seeping slightly. I checked the bolts and all are good and tight. So the question is, can I simply unbolt and lift up the high pressure pump, replace the gasket/Oring, and sit it back down without upsetting the timing or anything else.