I started out using F3D but switched last night to F4 official from Gigabyte. I haven't had any problems with it and seems to run very well. I'm on a B3 board though, and it sounds like yours is pre-B3 which uses a different BIOS set.