Oh boy, the last time I saw an official state of Texas site give a 500 error it stayed that way for a month...