Yes, professional drivers use shorter axles as well. Actually, I think they are the ones that use it most as it is a fine tunning (in my opinion) and usually weekend drivers do not feel the difference.
When I created the topic below, I didn’t realize there was a topic already discussing this matter, so I described there my opinion about rear axle length.