No, Ron, I don't think everyone's databases are hosted on mssql3. However, since that server is dedicated to serving SQL Server, most people's databases will probably be on it.
By the way Yash, since the server is back up, is there a way I can download my database without Enterprise Manager...