A Sandybridge system is so easy to overclock it seems a waste not to have a go yourself
Plenty of advice to be had here on the forums if you need help. You can likely easily get 4.5GHz with 2 or 3 option changes in the BIOS/UEFI on a 2500k with a half decent cooler for example.