Ross Stripling, removed from his Major League debut with a no-hitter after 7 1/3 innings and exactly 100 pitches, "thought it was the right choice" to pull him since he was tired.