What a shame but it may have been for the best. Sometimes the suffering that occurs with bite infections can be terrible.
We've had members that have saved garter snakes from cat bites but it's a roll of the dice.
Thanks for taking the time to care and be concerned.