Last time 5 pitchers used in an inning, in a World Series was by St Louis vs Royals, in 1985.