Not yet, I don't like updating BIOS firmware unless I have to, so I figured I'd ask if anyone had seen the problem before.
For a small fee, you can get a new bios chip from ASUS with the latest BIOS version on it. I just did this and it worked out fine.