That is not a lot of music. I had my old 80gb iPod filled to the brim with more on my computer back in the day. And those were just ordinary mp3s, not flac or lossless or anything. Nowadays I have like 10000 songs in my spotify library. I moved away from mp3s because curating and downloading that many songs is a pain and quite time consuming compared to just clicking a heart on spotify. Plus spotify is now primarily how I find new music, so ts just way easier than switching to a browser and manually downloading whatever cool song I just found, and having to fix tags or whatever. Especially since I'm usually doing something else while listening. With spotify I can save a song without even unlocking my phone. I also always listen to my whole library on shuffle and haven't had any issues with it.