New
#11
Hmm this is a curly one mate the Google on that inf comes up with what you say the GB is and it isn't that expensive for example Kingston KVR667D2N5K2 4G DDR2 667 4GB Memory Kit 163120294107 | eBay
Now if the stick labels have not been tampered with then the machine is not seeing the amount of RAM they contain. Will have to do some more searching. Very strange.