Hi Nick

If you go in via ftp and delete the theme that the customer switched to then WordPress should revert to the standard Twenty Ten/Twelve theme. Then you can go in via the admin panel and activate the restaurant theme again as normal.