HP notes – update BIOS from F10

I got a friends-and-family return-from-lease HP 8100 workstation.  No RAM, no disk, just the basic workstation.  I am trying to install Windows 10, but I’m having issues with the OS install failing.  HP notes point to an out-of-date BIOS.  The challenge is how to update the BIOS when you have no OS installed.

1. 1. Download the BIOS update (EXE file) from the HP site.
2. 2. Extract the ISO file from the EXE using 7-Zip.
3. 3. Burn the ISO to a CD (and put CD in the CD/DVD drive)
4. 4. Boot the system, press F10, select Update BIOS, point to the CD.
1. This wasn’t obvious, nor was it documented *anywhere* on the HP site.  Lots of references to pre-2002 HP tools and the like.  I hope someone finds this useful.