GE washer does not spin on spin cycle

Washer Repair
1

I have an older GE WPSR3100W0WW washer… I’ve already removed the front cover and removed the belt and found the pulley on the motor spinning on the spin cycle. I’m assuming its the transmission on the washer that has gone up… I wanna make sure that is what I’ll need before ordering the part…