I’m glad the dog got killed instead of a family member. I don’t know beans about large constrictors. Just wild rattlers and other desert critters.
(PS. Hi Bob! Whassssup??! )