Flipper-IRDB/Pronto Converted to Flipper.../Scientific Atlanta/Explorer 4250HD.ir