I think if that box is missing then you have the #3882 bug.
I think a lot of us are hoping that the final 2.1.3 release takes care of this problem. I played around with the problems I was having with the Vuisual Editor for about a week before I just gave up and decided to wait for a update fix.
There have been a lot of solutions posted and although some of them have worked for some people, I still have some 2.1.2 installs with the visual editor disappearing. I have come to the conclusion that for me it depends on which host I am using for the site. I have two sites running on identical WordPress installs on different hosts, using the exact same plugins and versions. One of them is working fine with no editor disappearing. The other has the disappearing visual editor problem. To me this means that the problem lies in the way the 2.1.2 install is working within the hosting environment.
With the one host, I also have 2.1 installs that are having problems with two very important plugins that I really can’t live without. When I activate the plugs, the editor breaks. Come to think of it, maybe I should contact my host support people and see if they have an idea…
Kurt