I think it's fair to charge for extra condiments. They DO cost the restaurant money, and I'd rather the people who use them pay for them, rather than raising prices across the board 5% or something, spreading the cost onto everybody.