sorry if this is way too OT. is there any plugin or app to play mp3+g under linux?... thanks a lot, r.a./