If they ar using DESFire EV1 then, this being the same and also an easier to couple Flex, that would be a good option.
FlexDF2 as a strong possibility as a being compatiable.
Either way, it sounds like they are onboard, so thats the hardest battle won right there, The other bonus of the Flex implants, is you can test them on the system before implanting them…