I'm currently looking at a 1988' 325ix 5 speed with 108k, she wants $8500 for it. She just replaced timing belt, timing belt tensioner, frt eng seals, housing gaskets, valve cover gasket, in the last month. There are a few small things like the antenna motor is not working, the a/c needs a recharge (is this a big deal?) and the passenger power window sticks a little bit. Am i getting a good deal? Let me know