HP Color Laser

We need to purchase a couple of HP color lasers for campus. We have a
few 3600s but have never gotten them to print from Macs via iPrint.

Since these new ones will be used in Mac-heavy areas, I was wondering if
anyone can recommend a good HP color laser (with PostScript emulation,
at least) that will works with iPrint and Macs (and Windows of course,
but that is less of a challenge). Thanks!

ajs