it's one of those weird rules. Starter leaves, lead is never squashed, then 6 relievers could come in and the official scorer picks who the game winner is (but can't pick the starter, even if he did well which Gibson didn't do). He could be pitching a shutout and if he doesn't go 5, he can't be the official winner.