Dead link. But yeah it will have been fitted later... like most were! Not necessarily by the user. It was cheaper to buy non HD bundles from Commodore and for the shop to fit a HD than buy a factory fitted one.
were selling A600HD case badges for about £4 if you REALLY need one!