QUOTE
because I think maybe the hp site is so crappy that the file servers are down
Actually, that's about par for that website.
Go Here, select "download drivers and software" then type deskpro 4000 in the box and click the double arrow next to it. You will be presented with the 24 different deskpro 4000 models below
Compaq Deskpro 4000N Desktop PC series» Compaq Deskpro 4000N Desktop PC 5166MMX
» Compaq Deskpro 4000N Desktop PC 5200MMX
» Compaq Deskpro 4000N Desktop PC 5233MMX
Compaq Deskpro 4000S Desktop PC series » Compaq Deskpro 4000S Desktop PC 5166MMX
» Compaq Deskpro 4000S Desktop PC 5200MMX
» Compaq Deskpro 4000S Desktop PC 5233MMX
Compaq Deskpro 4000 Desktop PC series » Compaq Deskpro 4000 Desktop PC 5100
» Compaq Deskpro 4000 Desktop PC 5120
» Compaq Deskpro 4000 Desktop PC 5133
» Compaq Deskpro 4000 Desktop PC 5166
» Compaq Deskpro 4000 Desktop PC 5166MMX
» Compaq Deskpro 4000 Desktop PC 5166X
» Compaq Deskpro 4000 Desktop PC 5200
» Compaq Deskpro 4000 Desktop PC 5200MMX
» Compaq Deskpro 4000 Desktop PC 5200X
» Compaq Deskpro 4000 Desktop PC 5233MMX
» Compaq Deskpro 4000 Desktop PC 5233X
» Compaq Deskpro 4000 Desktop PC 6180
» Compaq Deskpro 4000 Desktop PC 6200
» Compaq Deskpro 4000 Desktop PC 6233MMX
» Compaq Deskpro 4000 Desktop PC 6233X
» Compaq Deskpro 4000 Desktop PC 6266MMX
» Compaq Deskpro 4000 Desktop PC 6300MMX
» Compaq Deskpro 4000 Desktop PC 6333
Select your model, select your OS from the following page and you're there.
The rompaq will be under the "bios" heading and the utilities disk under "utilities"
Read any and all footnotes for exceptions to certain systems when it comes to the utilities disk.