I would be more than happy to search the paper I have. I will also post it on here. I will try to see if East Texas will come up on it also.
Let me know what you like for me to search. I will go and get the name and put it on here.