Yes, they work but sometimes the printer isn't found on the network! (even though I can acess it's web configuration from a browser). It a hit&miss really. This is no good and never had these issues under windows environment. I guess it's a compatibility issue!
Did you use Bonjour to discover and install the printer?
I often use IP to add a new network printer, with HP Jetdirect - Socket's protocol.
I used either the 10.8 dmg installer and/or the add printer on system preferences. It's the same either way. When the dialog box says the printer isn't found, I just pause printing and then resume. After a couple tries, eventually everything is printed. I hope this is an issue corrected by the updated 10.9 drivers.
Install manually with the IP tab in "print and scan", use LPD for the protocol and enter the IP address manually.
Change the name to whatever you want.
Set "print using" to the Phaser PPD installed with the 10.8 installer. (Just pick "Select Printer Software" and type "6140" to find it)