another good player is the core media player. just search it and you'll find it...its pretty good and plays those .ogg files and more without downloading the codeces i believe