Well what would you suggest as a good mix down r2r? I actually read that the a77 might not be so good
Depends on your budget. For a home machine, the Tascam 32 if you can find a good example. I used one for a while, but it was rather beaten up and cheap and I never really got it working. The BR-20 is a step up from that, a studio-level machine with a nicer transport. I haven't had one myself (I really regret not buying one from River while they were still new, but circumstances prevented it).
For a Revox machine you might consider the B77-HS, though they're more prosumer machines and the transport is a little clunky by comparison, with a mechanical counter. The PR99 MK2 or MK3 might be better since it's the same basic machine but in a rackmount format and an electronic counter mechanism. These were often used in broadcast.
The Otari MX5050 is another nice machine, though I haven't used one myself. They don't seem to have much parts support in the UK - TEAC machines are a bit better in that regard and there are often Revox bits on ebay.
I'm using a Studer A807, which has a nice microprocessor transport like the BR-20. They're quite large and often rackmounted and annoyingly they usually come without a meter bridge - I kludged one from LED VU meters, but it makes alignment a pain in the ass.
A807s are proper pro machines and tend to be more expensive than a small studio/consumer machine. A807s were often used in high-end broadcast, e.g. for production. I believe the BBC still use them as archive machines. I believe production run was from 1988-2001 or so, with the Mk2 introduced around '92.
Mine needed the audio cards recapping and took a little effort to get it up to spec, but it's nice machine.
The A810 was similar but more robust and higher end. The A807 cuts a few corners, having lots of functions merged onto several big circuit boards. The A810 has lots of smaller cards which can make troubleshooting less problematic.
There's also the Otari MTR10 and similar, but I have no experience with those.