Great news! I received a phone call from a very reputable person last night. Students had mistaken the identity of the snake. It was actually a bullsnake. They are great snakes. One of their activities is to kill rattlesnakes. I apologize for any problems that this may have caused anyone.