Thankfully I have never had to replace the starter on mine but the 4.2 should be pretty straight forward. There is a good online forum here
JagFORUM - the world's No 1 online club for Jaguar enthusiasts
These folks sell a good gear reduction starter for the E
Classic Jaguar : Jaguar High Performance Parts and Restoration