So get this...
They had to take the gearbox BACK OFF & open it up again, only to find that the 2nd gear was a faulty gear from Porsche! Nuts. So it's being shipped back & returned for a good one. They said, initially, it looked fine & they never assumed that it would have been improperly cut coming from the manufacturer, but upon careful inspection, they could tell that it was. The angle of the cut on one side was wrong & it kept popping out. I'll post the bill when I get it back after Thanksgiving.
Car's been in the shop so long, I think I forgot how to drive a stick...