They might have an anti venom some place but no here in the state of Texas according to the zoo.
here you have to order it and it expires this month..
http://www.poisoncentertampa.org/poison-topics/coral-snake-antivenom/
To tell the truth I want to go look for more snakes now. They are not hard to catch at all and talking to the guy at the zoo he showed me a few things that will make it even easier. I know where bunches of snakes are.... all along Cibolo creek.
You should see the Centipedes we have here. About a 7" to a foot long and amazing colors.
If I find another Coral I'm thinking I want to keep it Pet.. the guy at the Zoo's fault. He has one. What a way to keep people out of your house.