My friend and I had lunch at the Pepper Market on November 30th. We dined in and were not charged the 10%. It was crossed off the dining slip we had and I inquired about it. The server confirmed that the 10% would not be added to our bill.
We were on the Dining Plan.