what county is allen tx
About City of Allen, Collin County, TX Public Record Searches. Search the City of Allen, public records using best found research sources online. This City zip code is 75002 with a total population of 84,246. Look up recorded information of Allen, including demographics and local economy.