This is significant information, because there’s a whole conversation upthread assuming the gross receipts tax applies to their full business.