Finally starting to whack away at my Super Pi time... Here's 100mhz slower than my initial run which returned a high 12sec score, this one is now in the low 12's. Time to keep tweakin'!
Just a few basic tips for getting the lowest possible score, kill all services and background apps, switch pi to run in realtime, and then kill explorer.