My Boss has OS X.7.2 and wishes to print to HP Color Laserjet 550dn. HP does not have driver for this version. How can I get him to print to this device? Can I use another Driver? Is there a trick or spoof I can use???