Hi there,
You've just said it. You like the 5396 more. Personally, I would take the 5396 without question. Perhaps it would be an idea for you not to be swayed by the lack of availability of the 5712. It dosen't really make a difference as you are buying a watch to use and enjoy, not for it's rarirty.
But , whatever you decide, good luck and let us know.
Regards
Yash