After getting the Zheng Shi RFID Badge, encountering a Mining Robot still locks movement controls and there's no 'Leave' button, so you have to 'Stake a claim' and fight it.