How big a Redskins fan is Emanuel Vega?

“Big enough to name my son after RGIII,” the 27-year old answered.

It gets better, though. Because if things had gone slightly differently on Thanksgiving Day, Vega’s first son-to-be would instead have been named “Austin Miles Vega.” As in Miles Austin. As in a Dallas Cowboy.

“Horrible,” Vega said, seeming to shudder at the very thought.

See, Vega lives in Tuscon, but is a lifelong Redskins fan thanks to his mom. He has a wall of memorabilia at home, posts on Extreme Skins, spends Sundays at a Skins bar in Arizona, and has traveled to Washington for several games.

His girlfriend Marissa Pena, though, is a lifelong Cowboys fan, thanks to her mom. They’ve been friends for years, and have had several wagers on Redskins-Cowboys games in the past, but they only started dating last year. That meant last season’s Thanksgiving Day game would be their first Washington-Dallas meeting as a couple.

“I thought that was cool, our first official relationship game on Thanksgiving of all days,” Vega told me by phone. “She thought it was cool, too, so we needed some kind of bet. She said the loser would wear the jersey of the other team on the last game of the season at a Redskins bar. That would be horrible for me. That would be horrible.”

But they were also pregnant with their first child, and were struggling to come up with a name. And Vega suggested the winner would get to choose the baby’s name.

“She didn’t really disagree with that at all, but she started saying she would name it Troy Aikman or Emmitt Smith, all these old Cowboys,” he recalled. “I would die if my son grew up to be a Cowboys fan. That’d be awful. I don’t even know how I’d feel.”

Still, they agreed on the bet. If the Redskins won, Vega could pick the name. If the Cowboys won, Pena, 31, was in charge. Each of them was granted one veto; Vega nixed “Emmitt Vega,” and Pena said no to “Darrell Green Vega.” They each chose again; Vega went with “Robert Griffin Vega,” and Pena chose “Austin Miles Vega,” after her favorite active player.