Of course they did, why wouldn't they? You don't expect them to willingly pay more tax than necessary. They're a business and their job is to make money.