Actually when I was in SE Asia a lot of places already factored the "service charge" right in, so no tipping needed. Not surprising to see it starting to happen here, but there are times when the servers screw up quite badly and you really don't want to tip, so the option is nice to have.