OK, thanks to the Prof, I've fixed this, and here's what I did:
1. Backup everything under the TVH Root (storage/.xbmc/userdata/addon_data/service.multimedia.tvheadend/)
2. SSH into the Arctic MC001 as root
3. Stop TvHeadend: tvheadend.stop
4. Delete contents of the following directories only: dvbadapters dvbmuxes dvbtransports
5. Restart Tvheadend: tvheadend.start
6. Check that correct number of adapters shows in TVH web interface
7. Re-configure TvHeadend (enable each adapter in turn, add MUXes, etc)
(I added MUXes manually to the first adapter, then used the "Copy to Other Adapter" facility - much quicker than letting each adapter auto-detect the MUXes)