Wild Garters (and other snakes) frequently lose the tail tip in this way. In captivity we can usually avoid it, but only if adherent skin is removed pretty quickly after the event. I guess this could go either way, Greg.... it may heal or she may lose that little bit. Either way it doesn't matter to her. Stuff happens!