One: I see no reason why fey subtype should be a prerequisite for Tiny size. (There's plenty of room in the concept of fey for Medium and even larger size, and room in the concept of non-fey for very small. On the other hand, having giant as a prereq for Large makes sense.)
Two: A cursory reading fails to turn up a four-armed option. ^.^