Du solltest zuerst Deine Kriterien incl. potential show-stopper für Deine neue Uhr definieren: Bauhöhe, Design (ev. Komplikationen), Band.
Eine 5167 trägt sich ganz anders als eine 5164.
Die 5711, 5712 wiederum anders als die 5726, 5990.

Anschliessend kannst Du die Verfügbarkeit der Ref. eruieren:
Es nützt Dir nichts in Theorie eine Uhr auszuwählen, welche Dir an Deinem Handgelenk nicht gefällt ODER nicht verfügbar ist.
Eine 5711 wirst Du nicht erhalten können, oder? Zurzeit! wird niemand eine 5711-Stahl gegen eine 116500 (plus vernünftig-xyz) tauschen.

Mein Tipp: Nimm die angebotene 5167 (flach) (oder ggf. eine 5164, 5726: nicht flach): falls das Band kein Killerargument ist und Dir das Blatt gefällt, die 5711 trägt sich ansonsten "vergleichbar".
Dein Aquanaut-Angebot ist weiter - in Deinem konkret vorliegenden Fall - übrigens gar nicht so schlecht, das könntest Du mE allenfalls sonst noch bereuen...
Es gibt mE überbewertete Patek's, die 5167 gehört nicht dazu (wennauch ich die bauhöhere 5164 tragetechnisch um ein Vielfaches! bevorzuge).