In case anyone needs it, here's the link for BIOS's 10, 11, 12, 14, 16, and 17 for IP35 Pro. I'm finding 16 is working best for my particular setup. YMMV.

Link for BIOS's to IP35, IP35 Pro XE, IP35-E, IP35P, IP35V, and other abit boards.