It does sound more or less right. You might want to find someone who specializes in manual transmissions and ask them, not just a 'transmission shop' though as I've found they know little more than the basics outside of autos!
I must admit, in the past I've looked specifically for 'classic car' automotive mechanics. Hard to find, but usually more adept that the rest.
