I cleaned the lifters in diesel as suggested. They are tight when full of diesel so I think they must be OK. I'll follow up after I run the motor, then we'll see if this was the right decision.