Actually it's just needs some programming to deduct the VAT from the retail price, when an ex-EU boarding card is presented. Or if on an ex-EU flight. A couple of signs in the shops explaining the situation or some notes on the airlines price lists.
Simples.