The first performance numbers from SpaceX’s Starlink satellite internet service are coming in and they’re looking great. End-user terminal production numbers, though, are another matter.