I've got a GPX TEC100 MP3 player that I no longer need. It plays MP3, WMA, and has a built in FM tuner. It has only 64mb capacity built in, but has an SD card slot for more space. It also has swapable face plates, so you can pick your color. It runs on one AA battery. Here's a picture of what the player looks like:

Mine's used, so it's not in perfect cosmetic condition. I'd let it go for $15 shipped to anywhere in the US. I'll throw in a 256 mb SanDisk SD card for an extra $15.