(Kansas.com) While she was wearing her Texas A&M graduation cap and stole — quite typical for senior photos — there was one 13-foot-8-inch difference in her photographs.

Yes, we’re talking about the huge Texas alligator, and his name is Big Tex.

The Texas-sized gator weighs about 1,000 pounds and holds the national record for the “largest live-captured nuisance alligator,” according to Gator Country, which is where Big Tex now lives.