My two cents:
The Rythmik F12 deserves a serious look here — available new around $799 and frequently turns up used in good shape. The F12SE (servo-controlled) pushes closer to $1,100 new but is worth it if you can find one used.
Why it might work: The 801 Gen 1 woofers go low, so you don't need the sub doing heavy lifting but integration. Rythmik's sealed servo design tight and will blend well, I think.
The adjustable phase is genuinely useful. With large speakers that have output below nominal rolloff, fixed 0°/180° phase switches are often a blunt instrument and you end up with either cancellation or reinforcement at the crossover point depending on your room placement. Rythmik gives you continuous 0–180° phase adjustment, which lets you dial in.
The REL T/9x is fine but you'd be paying a REL premium for roughly equivalent performance. Used F12 or F12SE in the $500–900 range is a better move.

