It's true! We are in control of how we feel! Remembering why we're lucky instead of remembering what we don't like can already do the trick. But the 5 options you mention above are also great :). Once we learn we can shift our mood with simple tricks, we start taking our mood less and less seriously. And shifting to a happy vibe becomes more and more easy.