High quality. I've seen scripts to convert the music to ogg, do you by any chance have one for just the sound effects?
No idea how well this works, I've been away for a bit and only tested this as far as the main menu, but it didn't seem to break anything. Hopefully it does, I'm not having the same problem so I don't know if it'll fix anything. Pretty much just quickly ripped off an earlier script I wrote.
#!/bin/bash
cp soundhq.lua soundogg.lua
MP3S=$(grep "= \"" soundogg.lua | sed -e 's/.*= \"wavhq\///' -e 's/\"..*//' | awk '!x[$0]++')
mkdir ogghq
for ANMP3 in $MP3S
do
echo "Converting: $ANMP3"
OGGNAME=$(echo $ANMP3 | sed 's/wav/ogg/g')
sox "wavhq/$ANMP3" -t vorbis "ogghq/$OGGNAME" --show-progress
done
sed -i 's/wav/ogg/g' soundogg.lua
sed -i 's/dofile \"sound.*lua\"/dofile \"soundogg.lua\"/' config.lua