I suggest you contact Miami Metro Dade Fire Department's Venom One team. They might have the info you are looking for. Coral snake bites are so rare, I can't remember when the last one was.
http://www.miamidade.gov/mdfr/emergency_special_venom.asp
-----
1.0 Albino American alligator, "Smoke"
1.1 American alligator,"Al Bite Ya & Molly"
1.1 Purple Albino Reticulated Pythons, "Gumbo & Abita"
0.1 Eastern Gaboon Viper, "Gabbie" Recently passed away at 24 years old
Help me find this snake!