I think you'll be happy with it. I hesitate to recommend any one particular model. Cameras are almost as much of an individual preference as loudspeakers (and may have even more zealous fanbois).
Thank you. If we manage to find our lost camera in Lost and Found, great. If not, i think we will go with the RX100 (series 1).