I have a couple of ideas for you.
KSEC have some test cards, so a cheap and easy test.
Use your Friendly busdriver contact to get in with the correct “card management person(s)”, and take you “Bring your own card” to try and enrol your test card.
If the card works, you may have a solution for a FlexDF, FlexDF2 or xDF2
DesFire EV2 can be backward compatible to EV1
https://cyborg.ksecsolutions.com/product/mifare-desfire-ev1-4k/
https://cyborg.ksecsolutions.com/product/mifare-desfire-ev2-8k/
This card is substantially more expensive than the above 2, but it has a changable UID, so you could change the UID to your current bus card UID, however, It likely won’t work because the ATS / ATQA values are fixed.(SAK values can be modified upon request at the factory.)
Also there is no DESFire implant with changable UID…But if you are interested
https://cyborg.ksecsolutions.com/product/mifare-classic-compatible-1k-magic-uid-changeable-uid-gen2/