Another useful tool for adjusting for mic delays is Sound Radix's Auto-Align:
https://www.soundradix.com/products/auto-align/
I'm not sure I'd use it for what Rick's doing, since time/phase differences are part of what makes spaced pairs sound the way they do, but it's very useful when using multiple pairs of mics, or using individual mics on different sources. It seems to have been designed to align drums on mics. It ends up just doing what Rick's doing manually - delaying one track by some small amount, but it computes the exact difference and then applies the delay.