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.