[grav]

iZotope RX 7, mentioned in a comment above, has something called de-reverb. I didn't try that particular feature, but I did try the music rebalance feature, and it's pretty impressive.

[8bitsrule]

Thanks. I'd call that progress. (Wasn't aware of this 'industry standard audio repair tool'. From WPedia, looks like that just arrived last Sept.)