Infineon Memory Chips.

[Diagrafeas]

I just read that Mushkin RedLine XP4000 2GB Dual Channel Kit uses Infineon HYB25D512800CE-6 memory chips that are rated 2.5-3-3 DDR333. Is that the case for OCZ EB DDR-4000 Platinum Edition 2GB Dual Channel Kit too? Should we expect better timings at 500MHz when 3-3-3 DDR400 chips are used?