The user also mentioned that there was no clear place to contact about this type of problem. He now knows to contact Wikitech-l, but we may wish to advertise that more. (But that is a separate discussion entirely.)
I thought the procedure was to report it to http://meta.wikimedia.org/wiki/Live_mirrors