Buy Mini R50 with Midland transmission yet?

Hello guys, I’m still new here and have my first question right away: My girlfriend is looking for a cheap mini that lasts 2-3 years at about 10000 km of driving performance per year. Now we have a nice Mini One R50 from 05/2003 with 150,000 KM tested. As price is stated 3800€ and Service+TÜV are new. The car is good in shot, has no rust at first sight and the engine sounds very smooth. When I now again the cross check here in the Foru m made the disillusionment came very quickly –> problems with the gearboxes. Now my question: Do you think the gearbox will last a few years if it has already run so long or do you advise us from the purchase? How do you find the price? Mini really has a ridiculously low value loss but my girlfriend just fell in love with the little one. Thanks already. Greetings screwi