The model numbers. How it was marketed.

512ke M0001E

ED M0001ED

512K/800 M0001D

Show me a 512Ke with a model number of M0001E in Platinum, and we'll know for sure. Until then we only have one known suspect example from an eBay auction Eric sadly didn't bid on! LOL