11x17 Network Printer recommendation

Hello everyone,

We need to purchase a network printer and the requirements are:

Double sided printing

Black and White

Must print 11x17

Shared by (about) 25 users.

Estimated printing per week about ~800 pages

We have been using an HP Laserjet 5200 and it has worked good for us, we are thinking about getting the HP LaserJet Enterprise 700 Printer M712dn, is this a good choice or are there any other recommendations? Budget is at ~$2500