Usually the Ticwatch Pro 2018/2020 (catfish) is widely available since it was a popular model. The more recent version Ticwatch Pro 3 (rubyfish/rover) is freshly ported and not as well supported as the first Ticwatch Pro yet. I bought one new in box just this week from german ebay for 70€. We got a Team member in the US/ML who is hoarding watches and seems to have no problem acquiring them :D I wish you luck.

This sounds like an interesting investigatory problem you've put in front of me...

Thanks so much!