What's the 4200+ rated at stock? 2200 MHz? That's a pretty decent overclock, but I bet you could go a little bit higher. My 4600+ will go to 2800 but for some reason it slows down and gets a ton of memory errors, even if I change the multiplier around and get the RAM at stable speeds.