I’ll grant that.
On a side note, one of the reasons I recommended buying gently used business laser printers is because the older models typically have the driver’s built in to the OS, or use a generic print driver. Disclaimer, I used to repair HP printers about ten years ago for a living (the 4250s had just come into service when I was doing that), and I have an (unnatural) fondness for older HP laserJets for that reason- I know how to dismantle and refurbish them. 
