You're right, looking at the logs, it is more like 1.5 minutes. Funny!
I still hear complaints about that small amount of downtime though.
The downtime is likely longer because the incoming connections are
likely getting backed up, and there's probably a bottleneck when the
dump has finished.
Our dump uncompressed is 1.2 GB one wiki.