Airline should have done something. When things go wrong on my flights I call the airlines, get a customer service supervisor and always get something. Usually a chunk of miles that I end up using. Last year I got 5,000 just because my ear jack didn't work on my seat in First Class for one flight that was on miles to begin with.