My default tip is higher than most terminals have a button for, but if the server is standing there watching then a simple button push is what they get.