¶ HP Color Laserjet CP5225dn
¶ Setup
On linux, install the hplip package (might already be installed, depending on your distribution). Chose that connection type and make sure to activate tray 3 in the driver settings. Your settings should be able to automatically find the correct driver after that.
¶ Cartridge Change
Only change a cartridge if the color is visibly running out, the printer warning comes way too early.