72 was the HP45, and 65 and 73 was the 55.
So HP doesn’t know what they’re talking about?
http://www.hp.com/hpinfo/abouthp/histnfacts/museum/personalsystems/0023/