And we would also get our share of existing military equipment and other assets that debt helped to buy like the strategic oil reserve, etc., right?
Also, one minor correction to a post up-thread. The US Postal Service is not owned or operated by the Federal government. I don't know why we would assume that it would cease operations in an independent Texas, but if it chose to do so and sell off it's assets here, I'm sure a successor would emerge.