All three choices are iconic and so none is a bad choice.
IMO (price aside) 5110 & 5130 are better alternatives to 5711 because of its useful worldtime function.
However, my opinion is biased because I like to collect worldtime watches.
Cheers,
Gordon