You can run a repair by running mongod --repair at your OS command line, or alternatively using the command db.repairDatabase(); from the MongoDB shell.
In order to do so they will need to get the oil industry running again, repair other damaged infrastructure and get their hands on frozen Libyan assets around the world - not as easy as it sounds.
An example is a long-running business process that, once created, wants to give a dedicated set of users the right to perform administrative actions such as suspend, resume, and repair on it.