i5-3570 (ej K) eller g3258 för moddad minecraftserver

tja

jag har en i5-3570 och en g3258 liggandes hemma och funderar på att bygga upp en minecraft server av något av dessa chip.
jag förstår att i5-3570 hade presterat bättre, men hur mycket bättre hade den varit för det?
tjejens dator har nämligen en g3258 som jag skulle kunna byta ut om det inte är för stor skillnad mellan dom. hon spelar nämligen bara spel som inte tjänar på att ha fler kärnor så hon tycker också att vi använder i5-3570 för att bygga en server om den ger bättre performance.

det vi ska köra på servern är en moddad minecraft server med kanske 5-6 spelare som mest. vi kommer ha ganska många mods och bygger hyggligt nära varandra (2st per 9 chunks).
g3258 går på 4ghz och kommer gå på 3.6ghz om jag kör den i servern.

hur tycker ni att vi ska göra? förklara gärna varför ni anser som ni gör