Curses! Work computer died. Now I've got to reboot. Generally speaking this will take a hour or so :(.