Sandbox,
I am sorry to hear about your dog. From what I have read a 10.5'gator is VERY large in Texas. I wouldn�t think twice about removing a gator that large. I've heard about some big gators up in your area. Someone told me that the chicken farms were attracting gators because of all the dead chickens they throw away.
I confirmed my gators are between 5' - 6' and weigh about 50 - 75 lbs. Last week my neighbor�s dogs were swimming in the lake and the gators took off anytime the dog headed their way. I have a call into my neighbor just to let him know about the issue.
Also have confirmed one behavior � the gators lose their fear of humans over time and tend to hang closer and closer as they lose that fear. Did you see this happening? Was your dog in the water or how did it happen? Do you know how long it was in your pond?
Gator