If you like the XV-1S and TKR, also look for an XX2 Mk II. You should be able to find that new at your budget without too much trouble. It has a slightly higher output (0.3mV) than the TKR, so may be more similar to the A90 or XV-1S in your rig. Like anything, it's all synergy so try and audition them if you can.
Good luck & happy listening!
Good luck & happy listening!