*burp*
The new drive is now installed and busy reestablishing the mirror. Of course, the first thing that I found after rebooting was that I had no network. Fortunately, a trip to the basement to unplug and replug the cable modem and router fixed that problem.
This is good. The last thing I wanted tomorrow was another trip out for a new router...