Has anyone had success with mirroring the distribution database? We have a dedicated server as a Distributor. It handles all our push replication from prod to reporting. We'd like to build an identical server,close by, in case the distributor crashes. Has anyone had success building something like this?