Thanks for the tip. But, hey, it's HP ... can't change the spots on that cat. Drill down two not-so-obvious links to the download page, and there are SEVEN choices of "universal" driver:

    Select your product
    » HP Universal Print Driver for Windows
    » HP Universal Print Driver for Windows - PCL 5
    » HP Universal Print Driver for Windows - PCL 6
    » HP Universal Print Driver for Windows - Postscript
    » HP Universal Print Driver for Windows 64-bit PCL 5
    » HP Universal Print Driver for Windows 64-bit PCL 6
    » HP Universal Print Driver for Windows 64-bit PS

[ http://h20000.www2.hp.com/bizsupport/TechSupport/ProductList... ]

Thankfully they forgave us the usual split in NA, EMEA, AP1, AP2, etc, geographic versions, with the only clue being in the cryptic codename in the link.