Yes. AATCHB has a DTS version (which I own) and is encoded in 24-bit (albeit lossy) 48-kHz DTS. I have decoded it into separated FLAC channels using eac3to, which has the latest (and awesome) dcadec DTS decoder. BYIT Blu-ray has Dolby TrueHD audio, which is just as easy to decode with eac3to.
No. I ripped it myself as well. But, some files had, I think, some short, stripped-down versions of the track. I'll check my archive. If so, I will include them in my archive as well. Thanks for reminding me!