ddh3

I have run into this problem myself. What I found is that if you have an early production model that the manual will list diffrent specs than what is listed now on the net. So it depends on what generation board you have ( early or late production). Only shure way that I have found to know is to plug in the larger amount and see if the bios sees it and can tell how big it is. Since the machine is rather old it shouldnt be hard to get some cheap memory to experament with. There might also be a bios flash that will update it to the newer specs. try typing the model number into google and doing a search for motherboard updates.