Of course leaving early is just as good an option as any of those I listed. Once slow play gets under your skin, and in your head, you are most likely done for the day anyway.