Hi Tim, My opinion on the matter is I'll take 3712, cause you'll see a lot of 5712 around you and seldom see 3712. And MAYBE long term might be more valuable. nt
If I remember correctly, the 3712 was just one millimeter smaller than the current 5712. You will pay more, as Jerome said, just because it was shortly made. Is it worth it? IMO, no. Best, Nicolas