[wish I could edit] Well, yes, I guess I could undo it with a good
backup. I'm just wondering if flashing with a different manufacturer's
BIOS is a good idea, and perhaps suggestions for better ones to try...?