I also saw the armadillo outside the Herbie hotel during nationals. The funny thing is that we were at the Lone Star Regional in Houston and did not see any at all. I was shocked to see one in FL, but not in TX.

Do you mean a *real* armadillo?
 

Did you mean a *real* armadillo or the mascot that was running around? There was a blue armadillo from a team with a number around 860, I think...

i saw a dead one