Jim Stitzel does not use the WordPress visual editor. Me neither. And looking by the response in the comments, it seems a lot many do not use it. I use either the default editor without any formatting plugins or I compose my posts in gvim.
In fact, I do not use the visual editors at all. They are still not there with the accuracy and end up creating mess sometimes. I also think they are detrimental to Web design. The styles belong to the CSS, not the markup. The markup should contain only the CSS classes and IDs which work as a handle to the styles. Further, I think the future is not WYSIWYG, it is WYSIWYM.
Many feel that WYSIWYG editors are the most usable ones, and help the user by hiding the technical intricacies. Unfortunately, it is not in line with the direction in which Web is going. Perhaps, a WYSIWYG editor which is aware of your CSS classes and IDs for formatting can be the answer. Which is nothing but WYSIWYM.