I don't recall the cobra ever having a name though. I remember this event; it created an uproar at the time from animal rights activists for the incident (the snake had been defanged, obviously). But I don't remember it having a name.