Maybe everything is big in Texas, especially at the State Capital in Austin.