I've spent approx £2250 on it, and I've done ~6k in 2 and a half ish years in it. The car is probably worth what it cost me, maybe a touch more, but a lot will depend on whether the 'gearbox issue' turns into a real issue or not.
In the meantime, the BMW 330i I was looking at originally was £13k at 80k miles and now seems to be ~£8k at 90k ish. The BMW 645i's seemed to have crashed similarly.
I'm not upset with my choice - it's still a fabulous car to drive.