DDS Series 9800 Rackmount Dimmer Pack

I’m needing one DDS 9800 Dimmer, or any brand of 8 channel, 2.4k dimmer, for a small school that’s had some damage to their theater a while back. They are severely limited on their budget so I’m trying to help them out and get their lighting system functioning again.