I have a working CUPS setup, configured for a HP LaserJet 4000T printer.
It works fine from all stations, except Windows 10-x64.
There is no HP LJ 4000 printer in the list with installable printers, nor does HP supply any.
The questions is: which one to install?