"who reserve the option of denying GPS service, though this has never actually happened."
Are you sure about that- I'm pretty certain that there was quite a few outages during the first gulf war. Fortunately civilian GPS was in its infancy so it would not have received a lot of notice. However the company I worked for sold surveying solutions around GPS and I remember a lot of disgruntled customers.