Der 3713 ist genau so groß (42mm) wie der 3717. Er ist lediglich dicker (ca. 16,5mm). Dafür nur noch gebraucht erhältlich und zu Preisen, zu denen man einen neuen 3717 bekommt.