I don't live in Texas, and I did call library cards and the like informal.

Passports are easy to obtain and are not expensive[1] at all. If someone chooses to not obtain them, that's their problem and not mine nor anyone else's.

[1]: https://travel.state.gov/content/dam/passports/forms-fees/Pa...