Just found out from the owner that it has a Record groupset. He says he saw a white 1972 Professional with the same groupset on it and so he reckons his is probably a Professional too.