If you were thinking about AKG 414s (but others have commented rather negatively upon reliability of the Chinese made units), you might want to look at a matched pair of Warm Audio WA-14s. These are mics that try to capture the essence of the AKG 414EB, with the CK-12 all-brass capsule (which the WA-14 mimics).
Whilst individual mics can be had from around £430, you can get a matched pair for around £1k, so are a bit cheaper than new AKG 414s.
I don't have any AKG 414 to compare it against but I've just bought one in a Black Friday sale and although I haven't had a chance to use it in anger, simple vocal testing shows it to be a nice sounding mic.
There haven't been a great number of reviews of it, but those I've seen have been complimentary and it reportedly does get very close to a 414EB, far more so than the WA-87 copy of a vintage U-87.
It doesn't have the bass roll-off switch of the 414, and there is no hyper-cardioid mode. But it does have cardioid, omni and fig-8 modes and -10 and -20 dB pads.
So maybe worth considering?https://warmaudio.com/wa14/