Crunching the Numbers on Southwest's Big Rapid Rewards Devaluation