Bump because I ran into the same bug. My keyboard has no numpad, but using the upper number keys didn't work. My game was paused and alt-tabbed out of fullscreen before I interacted with the server repair, so that likely had something to do with it.
