What should Texas do with surplus?