On the other hand...
There's a thriving (?) market in used/reconditioned office grade HP printers. I recently my second one (I have a situation where I need two printers at the same time) got an HP 2055dn that way. The 2055dn is solid, reliable beast, doesn't make a fuss about after-market cartridges.
Now if I can just find an reasonable cost color laser printer that plays nice with Linux (specifically RPiOS). Anybody have a recommendation? It also needs to able to handle card stock.