Quality observation by my fellow engineer (also a radio survivor):
Music that’s been previously compressed to mp3 sounds like butthole on an HD Radio channel.
Music that’s been stored and played out uncompressed sounds like mere butt cheek on HD Radio.

