Hrm......
Brief flash of tail in the top photo makes me think whitetail deer. I could be wrong, of course, but going by the average size of a whitetail deer we can guesstimate the size of the gator.
Average whitetail doe in WV is 3.5ft tall (approx. 1m) at the shoulder. Average weight is 200lb (roughly 95kilo). Total body length from nose to tail is approx 4ft (1.3m).
Thus, going by the second picture, which has a better look at how the gator is holding the deer, we should be able to measure the gator's size using the length of the deer's front leg from shoulder down. By that picture, the gator should be between 3 and 4 feet long from nose tip to just behind his front legs, where the hooves of the deer seem to be resting.
Extrapolating from that measurement, once again using the deer's shoulder as a guide, I would say this gator is no more than 7ft (2.1m) long.
DISCLAIMER: I am basing this off the size of an Appalachian WhiteTail Doe. However, whitetail deer can grow bigger -- up to 5ft (1.6m) at the shoulder-- and this is a Texas deer.
If it was not a whitetail deer as I believe, but a Mule Deer, the size I list above is the average for that species male or female.
Nitram, slightly high on cough syrup: Do you know you're beautiful?
Me: Nope, that's why I have you around to tell me.
Nitram: You -are- beautiful. Anyone tries to tell you otherwise kill them.
"A life is like a garden. Perfect moments can be had, but not preserved, except in memory. LLAP" -- Leonard Nimoy, last Tweet