It's definitely worth seeing when the gearbox was last serviced and getting it done as a matter of course. She should also get a diagnostic check to see what fault codes flag up. By all means contact the warranty company but more often than not they're not worth the paper they're written on I'm afraid.