My flexDF also has 7676 bytes of actual usable NDEF usable memory.
I may be wrong here, but I was under the impression that the DESFire EV2 was just the newer version of the EV1. Pretty sure it just has a few newer encryption protocols and whatnot, other than that I thought they were identical.