Be aware HP just officially set the end of life on these printers. After 3-5 years (3 is likely what it'll be, they gave 5 as a max) you can no longer buy HP parts or ink. You'll have to goto aftermarket inks.
Not necessarily a bad thing... Just making sure you know before you throw 15-20k on a user printer only to find out in a week it's end of life!