Cash registers in the US have always been perfectly happy to add sales tax (sometimes two) without any previous notification to the purchaser [illegal in the UK] so, given that most cash registers nowadays are standard electronic products made in China, it should be straightforward to put in a negative percentage associated with scanning a relevant boarding card.