This printer was acquired from an office's surplus collection. Here are the color cartridges that came with it (https://classifieds.ksl.com/listing/80339184).

If you buy both the cartridges and the printer the price is $1800.