Yes, I suppose it is more appropriate if you're only to OC it a little bit. However, why don't you push your 2500k to 4.5Ghz? It's known to hit that frequency with around 1.3v
should be no sweat if you have a decent cooler.
i can reach 4.5 ghz, cuz i have hyper 212 evo, but, my Gigabyte Z77M-D3H mobo has no vcore manual settings.
it is locked on auto... hehe, budget build bro, cuz this mobo only costs me around $97.. out of stock in newegg now..