I'm new here, but the software forum doesn't seem to be the best place to look for hardware info
EDIT: re-read your post, looks like you found out for yourself

However, I say Infineon all the way. Excellent overclocking abilities, a lot cheaper than mushkin.