This is making me more inclined to switch to a (non-HP) color laser printer, but I'm finding it challenging to find reputable information about total cost of ownership. Would love some suggestions!
https://www.druckerchannel.de/
(google translate, or a equivalent, might be handy)