You rightly said - the special character button was within the kitchen sink of the visual editor so it was left undiscovered. WordPress has many times surprised me with it usability.