Soldato
I think if you're spending £10k+ on a car you've probably put a few quid to one side for repairs. How expensive can a pump be anyway? it'd have to be £1500+ inc. parts and labour to make me choose manual over SMG.
Which is what it costs AFAIK...