Hi Duncan,
I would recommend that he check in Control Panel > Remove program and see if it actually installed. If it does appear to be installed and still does not appear on the menu he may want to try and install the ISM Revit Plugin and Structural…