City: Allen, Texas