Dear Andrew
What your customer is looking for is most likely a card reader that will output 26 bit wiegand data when reading a DESFire card.
There are 2 ways for this to work:
1) Using a Wiegand output card reader that reads the UID of a DESFire card, trunks it th 3 byte and add the required parity bits in accordance with HID Format H10301.
2) Using a Wiegand output card reader that reads data from a DESFire file (in an application) that is encoded with card data in wiegand 26 bit format (H10301).
Your customer may not be using the 26 bit format on a non wiegand reader (OSDP interface perhaps?)
Regards
Søren