I'm not sure whether they are an 'official' direct distributor or whether they buy their Teensy's from either Adafruit or Sparkfun and resell them, but if you want to pick up Teensy's at a brick and mortar store in Massachusetts, the store You-do-it (http://www.youdoitelectronics.com/) sells Teensy 3.1's, the octws2811 adapter, the pixelmatrix adapter, the audio adapter, etc. I don't recall if they sell Teensy 3.0's or Teensy 2.0/2.0++'s.
Yep - They have a lot of the stuff correct, but the one section mentions being an AVR running at 16mhz. They should probably also put in links back to your main Teensy 3.1 page so people can get more details and know where to download stuff from.
There was an unexpected delay with the purple boards. More are in production now, so they should be in stock again within a few weeks. I don't have an exact date, and I shouldn't really speak on behalf of OSH Park. But I can tell you this: Don't Panic. More are on the way.
Paul, if OSH Park is still in the business of selling Teensy 3.1's one really wouldn't know it from their website. The page I linked above gives no indication that any more are on the way, regardless of color. It simply says, "Sold out." Nothing about future stock or pre-order, etc.