So far no luck. The formatwithmbr option seemed to run successfully, but with the same end result (reboots and comes up with the old version and settings).
I tried running a Boot and Nuke disc but it crashes, so I'm on to trying the BIOS upgrade (please shoot me now... heh).