It was definitely a successful step, however it is not
usable for
AXPpci. Just go to
ftp://ftp.digital.com/pub/DEC/Alpha/firmware/archive,
find your model name and go on.
Update floppy is just a FAT-formatted floppy with srm.exe and/or arc.exe
and an update script. You can make yourself easily with a notebook.
I found the firmware update floppy I generated for my AXPpci33...
If the person who needs it will contact me, I'll make take an
image of it and make it available...
Megan