Update: pilots are here, and sounding audibly angry about the mix-up. They are saying they have no idea why there was this problem and they are just as confused as we are. Anyway, they have comped the direct tv on the plane which is nice. Just a huge miscommunication though which has frustrated and delayed lots of people.