Do you have any vacation time available?
How about a change of career or employer? It’s better to change now when the job market is somewhat healthy and better than moving during a down cycle in the economy.
Although my whining says otherwise, I actually do enjoy my job. Definitely need the mental break!