This is good news - WaveLab is my preferred editor.
So is it just a matter of opening the file(s) in Wavelab and then saving as .wav? Sorry to ask, don't have access to the files at present.
EDIT: Found copies of the AOB files but can't get WaveLab to open them, even using the "import special audio file" function - the file is opened but just plays as white noise. I wonder if my version of WL (5.0) is too old to have this function. Or am I missing something?