I was killing time in a PC retailer today and found myself wanting to know the RAM speed of the DDR3 installed on a particular laptop. The assistant went to Task Manager > Performance and under Memory it said 800MHz. He said this meant it was 1333MHz. He said something about 1333 being called 800, or something re: weird naming conventions. I'm thinking, "no, if it says 800MHZ then it's 800 not 1333." Is he right?