Has anyone tried the Ricoh GR iii?

This one has a USB-C port so that would require an HDMI converter cable.