Are those sample photos or seller's pictures?
Either version of these later model Tri-Compaxes will generally run from about $4-6.5k on the Bay. Dealers will usually ask $6-8k, but they typically come serviced. Condition and originality are the big drivers of value.
Servicing costs and parts availability can be big issues, so figure $600-1,000 to service them, possibly more or less depending on specific parts needs. You also need to be careful about who you send them to for work, as these were among the most complicated movements of their era, so you need to make sure your watchmaker has experience with these models and is willing to track down parts.
Correct replacements for some case parts like hands, pushers, crowns can be very, very difficult to find.
Your best bet is to look at as many examples of these as possible and start to develop your eye for what an original example looks like. Check the eBay Universal thread, and if you get serious about a particular watch, post it in the forum so we can help look it over for you.
They're great watches! Enjoy the hunt.