I would buy these Corsair MT6GX3M3A1600C7, but unfortunately ran out of stock of the seller. I think I'll end up buying the Mushkin RedLine 6-7-6-18 or 6-8-6-24, what do you think?