King loses his no-hitter in the 7th, but it raises a question. If you are Padres manager in the theoretical situation that King keeps his no-hitter through the 7th, are you turning it over to the big dogs (Morejon and Miller) in the bullpen to try to keep the no-hitter alive or are you putting in your lower leverage guys to save Morejon and Miller for close game scenarios where you actually need them to win the game.