Nige, no we're not ... gas, log and glogs.
Jim, thanks for that, good to know. I've got two pumps with the problem and I don't have either opened up at the moment. I cleaned the top section of one and filled the bottom with thinners. It didn't clean anything but did wreck the shaft seal. Although leaking it seemed to run OK with the exception of occasionally trying to die at tick over (recovered fine when reved so I'm hoping it may get better with use). If the one I've played with works, I'll try a full rebuild of the other using copious amounts of acetone.
If any one else is stupid enough to still be running such an antiquated car (Bosch VE pump) it's interesting to note the difference in timing with the 9.5mm pin in the pulley and putting a DTI on the end of the plunger.
On the bench I measured around 0.4mm play on the plunger with the pin in place. Given that the stroke of the plunger is probably only 3 - 3.5mm it represents a massive percentage error in timing. I'll certainly be setting the timing with the DTI once the new seal arrives.