I agree, the 6217s are generally at a higher price point than 6117, especially the examples from 1964 with a decent Olympic torch case-back. And as Ashton noted, they don't actually sell for thousands (even of AUD) in my experience. I think a pristine example with the original bracelet might approach $2k USD between collectors. The condition of the case-back is often the giveaway for condition.
Interesting that you're seeing a drop in 6139 prices. In the references I follow closely (mostly early divers, world-timers, and early 60s sport models), the prices seem pretty flat. I wish they would drop!
View attachment 1612223
View attachment 1612226
Click to expand...