In desperation I deleted all the ISDN trunks from the FreePBX configuration and restarted. After the restart I recreated the trunks and as if by magic things started working! Given that we changed nothing I'm a little mystified but for now to have things working again is a huge relief.