I'm seeing around 11 ksol/s with no OC currently. I'll have to try another work around later like flashing an older version of the firmware.
There is no magic to it, just flash batch 1 firmware and you dont have to do all that random editing and whatnot, you can just select from a drop down menu.
I am curious to see if the batch 3s are even less overclockable than batch 2 or if they have just settled with this configuration as final