What else has it missed ?. You are asking the question because you know this is an issue. Probably thousands of older cars around that haven't had the gearbox oil changed every 40K. They still have issues even if it's done every 40K.
If the price and general condition is good it might be worth a punt. There are plenty of used A3's around though so it won't take long to find another.