The is the Marine Corps Exchange near Naval Station Norfolk. I didn't buy my first gun there until 2005 or so, but I think they've been selling there for a while. Prices are pretty good, and the "no tax" things helps. You could probably do cheaper online, perhaps ever after paying a transfer fee, but sometimes you just want to come home with a gun that day!
Got my Hi-Power there last night. They had actually sold the one Standard they had left, so I got the Mark III instead. The black epoxy finish is still pretty nice. Cleaned it up last night and I'll take it to the range after work today. Now, if my 9mm reloading dies would show up, I'll be in good shape!