Upon exporting to either Mp3 or WAV formats I get no sound using Windows Media Player, Real Player or Amazing Slowdowner. The file shows that time is elapsing but there is no sound. The files play when opened with Audacity.
Well, okay. Now I feel foolish. I’ve tried those files again and they play! I have done nothing by way of changing settings, etc. so I have no explanation for this. Problem solved!