TagInfo on iOS is pretty useless for Mifare Classic, I’d suggest borrowing a mates android phone and scanning there. Do a full scan, and see what the highest block is that has anything other than 0’s in it.
My work ID was also 4K, but they only used a tiny fraction of a kilobyte at the start so I was able to clone it