Although the San Jose Sheraton participates in the $10 dining credit promo, and the rate I booked was supposed to qualify for it (because I clicked through the promo page to reserve etc.), the nighttime desk clerk didn't know anything about it. But he did give me a breakfast buffet coupon (worth about $10), so no real problem.