Currently, if you do not distribute a GPL binary, you need not distribute source. RMS was musing at one point about requiring distributed source for a binary that gets "public performance" (which he can do under basic copyright law), but this does not exist in the current GPL. Thanks Bruce