I confirm that I have the same problem when I try to download driver for macOS.
Every time I attempt, I get a server error. Is the driver download for this printer model down?