Tipping debate deja vu: DC decides how to pay service workers