9mm to 11mm conversion?

[Dave]

If you need the car, get someone else to do it.

Nothing more frustrating than putting a pump all back on the car and it just not firing up due to a heap of issues with the pump internals.
Not to discourage, its simple with it off the car but takes time if you've never done it before, and can waste alot of time to find out its not right.

But, if you have a spare lucas, get the tools out my friend