To be honest, I would bleach it out (diluted), then do the vinegar wash thoroughly, then another few hot rinses. I convert tanks between newts, snakes, turtles, and fish, and that's what I do every time. Better safe than sorry. The bleach shouldn't hurt a snake, and the vinegar wash and hot rinse should take care of everything.