Hello.
From what I've read you'd be better off going with the 533Mhz
RAM as that appears to be what the unit is designed for.
At times one can go with higher rated memory but it often requires a BIOS update for it to work.
I simply did a quick google and 533Mhz came up as the specification for the model you listed.
Hope that helps.
