The repair option is also available through the Control Panel, if it helps.