Did you know that the most recent no-hitter by Pittsburgh Pirates pitchers went into extra innings and concluded with a pinch-hit walk-off home run ?