I have the samsung yepp 30-sh (128 MB) which is awesome - except I haven't figured out whether or not I can use it in linux yet :( Any of the mp3 players will play mp3pro's, which is good because they're about half the size, but Ogg's are the $#!T as you say :)
Try to find one that acts like a storage device, usb2 for faster file transfers, and ogg capabilities. Then you'll be happy!