I have 40GB of music with only 1K songs.
All my music is encoded at either 160 or 256kbps AAC unless it came from file sharing 20 years ago. I do have some MP3 files.
I encoded most of my CDs (400 or so) in 128 back in 2000-2003 and re-encoded them to 160 when iTunes Store launched. When the store went to 256, I didn't re-encode everything again. 1K of songs at 40GB sounds like FLAC or Lossless.