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.