Flipper Zero also has an IR receiver that can acquire signals and save them for the library, so that you can retailer any of your current fobs to transmit instructions afterwards, and upload to the public IR Remote https://pinballshops.com/