Tinymce is too heavy in busy sites.
Tinyeditor
JavaScript WYSIWYG Editor – TinyEditor - Web Development Blog (http://www.leigeber.com/2010/02/javascript-wysiwyg-editor/)
Nicedit
NicEdit - WYSIWYG Content Editor, Inline Rich Text Application (http://nicedit.com/)
Could be alternative selection?
It maybe possible to change the WYSIWYG editor with a plugin, but I haven't tried myself yet.