Cyrus one might be another option. Gave it some consideration myself (brio is too polite for me, elex far better) but really didn't want a dac amp which seems to be all the rage in that price bracket. (I now use an ibasso dx200 (9028pro dual chip) for source/dac)
Ex dem audiolab 8300a was also tempting as I started with audiolab years ago and the 8300 seems to be better reviewed than the 8200. Still, full size.
Other midi would be quad/meridian/linn. Used linn before and sounds pretty good, gave the krell setup i had at the time a good run for its money at a fraction of the cost. Downside is linn won't service the LK range anymore but there's a specialist that will should anything need done.
And s/h doesn't give you the opportunity to run whatever for a good week before returning if not to taste!
Yamaha a670 might be a bargain....
If you can get the rd-vh7 cheap on eBay I'd highly recommend giving it a go first. In class A mode it gets the foot tapping. (PMA50 just throws the high hat in your face constantly, no liquidity)
Keep us posted with what you end up with.