10k is quite a lot if you (at leas somewhat) handpick them and download them individually. I currently have about 4k songs saved on my PC, but I dont know most of them due to the fact, that I download them in bulk, since I was able to get my hands on the entire discographies of two labels that I like. One had 3k songs sorted in 150 Albums across 15 years. The other label had 1k songs. Dont know how many albums those are, or from how many years, since I havent been able to index all of them in a database to check what metadata they have.