Winamp is slow with 8,000+ songs, what media player would be faster?

I would look into Foobar2000. It is extremely flexible and capable. It seems to handle my large library with ease.