Is Texas to scale on this map? From listening to Texans, I felt sure it was bigger…