Most of those old HP lasers were also office behemoths that, inflation adjusted, cost over $5000. They caused all sorts of problems in an office environment--the printer in Office Space was basically about those--but they work great for small family use.
I only ditched my 5si because Windows stopped shipping drivers. Could have hacked it, but I figured if there weren't drivers, people would slowly get rid of them, and the replacement toner market would disappear.