Hey guys, need some help on what the best music player to use for my Galaxy S handset. Is the stock Samsung Music Player good enough to use a 3500 song library or is there a market or non-market app that's sleeker and easier to use? I've tried DoubleTwist, but the desktop version of it is slow...