The divorce record will be harder to find. I have not located it. That said, go to the link below.
https://www.dshs.texas.gov/vs/marriagedivorce/default.shtm
Click on the marriage index link at the bottom.
On the page that comes up scroll toward the bottom, locate the file for 2011.
It is a ZIP file. Download it. Extract it. It will result in a 19 megabyte text file so you need a text file reader that can handle something that big. Search for just his first name - and you will find it.
If you go to the divorce index link at the bottom of the page I linked you will find that more recent years have not been uploaded yet.
So, to find a divorce you have to go county by county to find it. I didn't find it in the county where the marriage license was issued so it must be in another county, or the county doesn't provide divorce cases online.