color laser printers are not as expensive as they used to be, and in
the US, it seems neither is gas heat.

roll with the times I guess