There's gotta be some sort of newer solution than OggDrop for this purpose, or if there isn't, surely an AppleScript can be created to automate this task. I have the Ogg components for QuickTime installed, as well as QuickTime 7 Pro. I've tested the export function in QuickTime also, which works perfectly - creating a nice Ogg Vorbis file. Surely there's a way to automate a mass-convert job of over 12,000 files using this approach... Google searches have proved fruitless.