Where in Texas is this? I’ve seen the town called Irvine but also Irving. Isn’t Irving the Dallas suburb where the Cowboys played or play?