GT4 and GTS 4.0 share the same manual gearbox? Does anybody know?

this guy says it is different

https://www.youtube.com/watch?v=2fcfvqPGCg8&t=415s