Opera 9.5.2 Update Overwhelms Opera's Update Servers

I've been playing with the Opera 9.5.x browser for the past few weeks after having ignored it for the last couple of years. I received a notice that a version 9.5.2 update was available when I fired up Opera this morning. Unfortunately, a lot of other people must be using Opera again too this summer, because I got the Service Temporarily Unavailable message instead of an update download from their opera.releasenotes.org server. Since they have a lot of sites mirroring them, they should point update requests to those mirrors instead of their default server. I went back and manually selected a mirror site after seeing the failure. The download from a U.S. mirror site went fine.