Advice for suitable printer pls

I am printing out about 1200 double sided A3 pages daily i.e 2400 pages
daily . At the moment I am using a Xerox N4025. I am considering a Konica
7155 or 7145 but baulking at the lease cost. Can anyone suggest a good
alternative? Should I buy a second hand machine from somewhere like ebay? I
notice one in there , 2nd hand Konica 7145 with 17,000 prints done for
around 350 USD. The lease rental of the Konica is more than this each month!
OK this does include a maintenance contract but surely I can buy one on a
2nd hand machine? Also the scan and photocopy features of the Konica are
not needed by me. Looking for some good practical advice here pls from
experienced users.