I used 3 empty diskettes.
I downloaded the most recent version of afudos.exe (afudos unzipped) to diskette. I removed the diskette from the drive, and labelled it as original-bios-plus-afudos.
By using the name of my motherboard at support.asus.com/download/ , I located the most recent...