Tipping at a teppanyaki restaurant