SK Pang is a SparkFun distributor, who in turn is a PJRC Distributor. If you buy from SK Pang you are most likely getting an authentic Teensy, but I cannot give an absolute guarantee.
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.
FYI - Talking with Eric on the Robotshop side, the key features they list were due to the table up on PJRC website: In particular: http://www.pjrc.com/teensy/index.html
Shows the Key features of Teensy is that they are AVR 16mhz processors... (Probably should remove that line as only applies to Teensy 2 and 2++)
Any Asian distributors carrying the Mini54 chips? Ordering to India via USPS is an exercise in frustration and I'm not paying US$90 to ship 2 $8 chips via UPS.
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.