I doubt tipping will go away. What we might see is more of a bifurcation of high-end services with tipping and economy automated services without tipping.