Lived in Texas for some 25 years; can't recall there being a government surplus... or if there were, they certainly were very quiet about it! Be interesting to see what they end up doing...