Imo a must have.
perfect size 42 mm
and a stunning chronograph
The 5110 world time is one of the prettiest Pateks IMHO and very useful if your lifestyle dictates the need to know the different time zones. It is dressy but not too formal.
The 3712 and 5712 are also the best looking Nautilus watches IMHO. Although, it may not be as tough a sports watch as it has limited water resistance due to the pushers. Wouldn't mind having one for myself though.
I own a 5146 in WG with grey dial. It goes well with a suit and with more casual attire and the date adjustment is relatively easy thanks to the pushers. From my experience, unless you wear them regularly, or keep them on a winder, having to adjust the date all the time can become a chore (especially if you have more than one date complication watch).
As long as you go for what you really like, and what fits your taste and lifestyle, I don't think you will really go wrong with any of the pieces you mentioned.
Happy hunting.
Kazumi