Oh, I’m sure the US taxpayer is somehow footing the bills for those. We always pay full price on anything relating to trump.