Yes, the (901-style) shifter is correct for a '72 model - as you correctly say, the '73 models got the bulkier shifter/convoluted rubber gaiter usually associated with the 915 transmission.
Andy
“Adding power makes you faster on the straights; - subtracting weight makes you faster everywhere”