Is there a consensus on what BIOS is best? Thinking I may need to flash this weekend.