Well it's at the garage at the moment, so I can't check, but I think the drive belt was fine, at least it wasn't squealing. (Surely the garage would have checked that?!)
I know it's just a gearbox but it must have a spool valve or something to turn the pressure on when you steer, I was...