I could see this maybe being a Firefox extension but I didn't find one in a
brief attempt. I wouldn't expect them to let you override it in settings
anywhere.

Another idea: can you direct everything *but *the catalog in DNS to a
static site explaining the error?

Best,
Eric Phetteplace
Systems Librarian
California College of the Arts
libraries.cca.edu