Update to my earlier data point - eventually they do audit the whole system. Two months later, I see a "Goodwill Adjustment" deducted from my account for what looks like the right amount of points, less the 10% rebate. So somoene caught the glitch and they're going back and fixing it. So no free tickets after all.