Yep. I think as a minimum that needs to be done, but considering the cost of it, I might go with having the gearbox done as well. After all, it is 15 years old lol.
I know series Land Rover is went longer without a gearbox change, but that was a different standard they were made too.