Depends on the house. You're not necessarily getting a discount. Some just charge 1 House fee for a double, but full rate for each provider. And double the tip, of course. There's usually a House Fee, but it's never disclosed when it's a single provider. Much easier to just say all inclusive.