If I were buying now (and I will be looking at an ipf6100 soon) I would consider the Canon IPF line above either of the two you are considering. I operate an ipf9100 (60 inch model) but have had HP Dj130, Epson 4000, 9600 and other printers in the past.
The IPF line costs less for the printer, best warranty support, fastest printing with comparable quality and gamut, excellent paper handling, no roller marks becuase of vacuum, excellent black and white and color with minmal bronzing and other issues no issues with Reds as in the case of the HP, no clogging like the Epson, no swaps like the Epson, less ink usage than the Epson (HP is just slightly better with ink so canon is in the middle.)
For a review of the printer check it out on Shutterbug.com and read the review on the ipf9100 from Jon Canfield I think.
-Jonathan