OK...It's out.
I took the internal part of the lifter out with it still in the bore and put a rawlbolt in (used to secure things to brick walls by srilling a hole and then expanding by doing up the bolt...I'm sure you know what I mean.
the lifter is undamaged but when I try to put it back in the bore it comes up agains a stop that I estimate to be the bottom of the bore. I think my theory of the bottom of the bore being damaged is about right.
I'm trying to (gently) file away any burr that may be on the bottom of the bore with a magnetised and grease coveret small file. Just what the engine needs now...fillings !
I'll squirt it down with WD40 and change the
oil before start and after a half hours running. Can't see what else to do apart from tearing the whole thing to bits.
Simon