I was curious as to what you guys think would be appropriate printers for a high school.

We are going to need 2 nice laser jet color printers. One of them needs to have a scanner also.

Then we are going to need 17 other laser jet color printers. The budget is 11k.

Any ideas? The office that needs a nice color laser jet currently has a hp2600n which is just way to slow for there use. That would be fine for the class rooms though.