They're generic Sanwa joysticks. They work just as well, though. I, too, have purchased items from that particular seller and have been satisfied.
The only thing I didn't like was that all his microswitches came w/ auxiliary actuators. But I guess that only matters if you're purchasing pushbuttons.