HP has supplied a partial solution. You can download HP's <a href="http://h20566.www2.hp.com/portal/site/hpsc/template.PAGE/public/psi/swdHome/?sp4ts.oid=410624&spf_p.tpst=swdMain&spf_p.prp_swdMain=wsrp-navigationalState%3DswEnvOID%253D4132%257CswLang%253D%257Caction%253DlistDriver&javax.portlet.begCacheTok=com.vignette.cachetoken&javax.portlet.endCacheTok=com.vignette.cachetoken">Universal Print Driver.</a> Install it as a separate printer and then you should be able to "find" it using the laptops and print through the PC like I did.
The only problem now is that one of my laptops is 32bit while the other two are 64bit. I installed the 64bit and only those will print through the box.
Hope anyone else with this problem finds this.