They can get the actual count. Passport numbers are unique and foreigners have their assigned alien number in their I-94 record.

They probably just don't know how to do it.