I was told about the incident by a fishing buddy that fished that Tx with his wife. Sounds like those folks hit it big then moved on before anyone caught them.