Looks like I'm the only one who's voted for 'repair'. Bugger, can I change my mind and go with the flow, as I don't like being on my own......
Seriously, it depends how much the car is worth to you, and how long you intend on keeping it. If you can hang on and get a 2nd hand one with warranty then go for it, as it ain't worth jack with a knackered auto box.
Good luck whatever you decide.