don’t buy an HP under any circumstances – they are unforgivably poor and very expensive to run
Are you talking about cheap, consumer, HP printers or their corporate laser printers? There’s a world of difference between their ‘home’ ranges and the high volume stuff (“laserjet 4000 recommended duty cycle up to 65000 pages per month”). There’s a reason most offices are full of them.
We had a cheap Samsung laser before the HP. Like that one it cost about £50 and, also like that one, came with a 1/3 filled toner cart (or something). Replacement carts are £55 and do 1500 pages.
You can buy a genuine 10,000 page HP cart for £50 and remanufactured for half that.