Hi all.
Apologies to gr1 for not answering (last year!). No excuses; just haven't been on the forum for a while.
Anyway, at the time, the 3 choices available to me were:
1. Get my gearbox fixed.
2. Jaguar, reconditioned replacement box.
3. New box.
I needed the car so chose No. 2. at around 3k. However, I always wondered if that was a mistake. In hindsight, I would have paid the extra £800 ish and got the new box and taken the old one back to have it refurbished later. Why? Well, I was always highly sceptical about an indicator light and gear-lock safety function necessitating such major work (expecially in light of ktp's comments above!) and would have liked to know what the problem was. Also, given that it had only done around 60,000 'easy' miles and I dont want to change the car unless I absolutely have to, I may end up having the same problem with what I now believe to be a smooth but frail gearbox so, in theory, I would already have a box - though in reality I would probably have sold it having at least satisfied my curosity as to whether it was a mechanical fault or, as with kpt, simply a faulty sensor.
Ho hum.