The choices that you list are pretty much automatic mode only cameras. Is there a reason for that?
If you already know of a Ricoh 800 EES that is available - buy it. It's a very rare camera.
All of the compact rangefinders of this genre and age - which have been probably sitting around unused for a few years - will benefit having their light seals replaced. I also recommend the use of a battery adapter to allow for more accurate metering - although very few people bother with a voltage adapter.
*****************************
Honestly - my preference is to have some ability to exercise manual control of either the shutter speeds to force the use of an aperture setting in a shutter preferred AE mode - or - the do it the other way around, when using an aperture preferred AE. I also like to be able to easily manipulate the ISO setting.
For a little more money and a more traditional 35 rangefinder experience - I'd add a Canonet QL 1.7 GIII to the list of choices.
Best Regards,