IIRC, the miners got out OK.
Interesting writeup here: http://members.tripod.com/~earthdude1/texaco/texaco.html