Looking at linuxprinting.org, it seems that that there may not be a driver for it..
The closest thing (by number, anyway--I'm not familiar with their printers), is the 8020E.
It's possible the driver might work.
Unfortunately, there are many printers that don't work well with Linux. It's easier if you already know you're using Linux and make that a criteria for buying a printer, rather than the other way around.
Going to google.com/linux and putting in the printer model number brings up a request for a freelancer to help install and an unanswered post asking for help with it--as well as this thread.
As it seems a high end printer, you might try calling the place that sold it (or whoever provides support) and see what they say. (I'm guessing this is in an office environment, judging from the printer, so, depending upon your job position, this might or might not be an option.).
The last possibility is to try some sort of generic postscript, or possibly generic laserjet driver and seeing if you have any luck. Between the two, I'd try the generic postscript driver.