SDIO HF RFID card for MC1000

Looking for HF RFID solution for MC1000. I've googled the SDIO card from Sirit: Any experience on the above or similar SDIO reader working on MC1000? (The project is municipal transport ticketing, customer is going to replace a couple of thousands ancient Datalogic Memors) Thanks, Valery