Returning to the original poster's request for turntable recommendations, I can offer a couple of comments. Trying to audition turntables can be next to impossible, and very few folks will ever have the opportunity to try different tables of this caliber in their own home prior to making a purchase decision. Plus it always seems that satisfied purchasers are quick to endorse their own table. That suggests that there are many paths to turntable satisfaction, and maybe you can't go wrong with any of the options that the OP has to choose from. Perhaps they are all great tables.
Having said that, being a satisfied Galibier owner myself, I would recommend that you get a Galibier Gavia. It does exceed your $5000 budget, but if there is any flexibility I would go for the greater investment to get the Gavia. Thom Mackris put a lot of effort in developing the graphite top for the current Gavia platter, and the improvement in sound quality it makes is nothing short of amazing. It is easily worth the extra money.
I consider my Gavia a "final" turntable, one which should more than meet my needs for the rest of my listening days. It sounds great, it is 100% reliable, and it doesn't have finicky adjustments. It is a mature design where the kinks have already been worked out.
I can't say how the Galibier Gavia compares sonically to a Teres or Redpoint, since I have not seen, much less heard, either one. For whatever it is worth, I have heard several Platine Verdier tables and a Walker on several occasions, and nothing I heard suggested that either of them sounds better than the Galibier with Triplanar arm. Of course, system setup and system synergies are always critical factors regardless of the turntable choice.
Good luck in your decision.
Dave