If it were me, I would repair it from a reputable shop. Once dont, it would be almost as new but cheaper than buying new. But if I were to replace the tranny, I would buy new. Buying used with 90K+ mi, what warranty do you have? You wont know how much life that tranny has left.

__________________

00 E39 DINAN S1 //M5 (82k miles)
06 E53 DINAN 4.8iS, born 2/18/2006 (126k miles) http://www.xoutpost.com/bmw-sav-foru...s-my-dslr.html
90 Straman Z32 TwinTurbo Convertible, (1 of 44 ever made) 5 speed, 444rwhp/451rwtq
01 360 Novitec Spider F1 (26k miles)