Hows the clutch in the car? If your going to have the gearbox worked on, you might as well do a clutch. There are many upgraded units available, check the transmission forum for the best one for your driving style
Also see if the dashboard recall was done on it by giving a dealership the VIN #, some had them completely replaces, while others got the repair kits. For 6K I'd get the car, as long as it doesn't have any death rattles and runs good
Also your going to want to replace the cabin air filter, I bet the person selling it doesn't even know the car has one
Welcome to the CEG