With Verison you've got a few choices:

High end Samsung (aka, high end price) would be the Samsung SCH-A990 - Note that the phone only supports .wma - so you'll have to convert any MP3's to that format first.

If you dont care about the 3.1 megapixel camera in the 990, go for the LG VX-8300 (clam-shell design) or LG VX-8500 (slider design) whichever one suits your aesthetics taste.