I have tinymce with fairly minimal options enabled on a current site but it’s very very hacky code. I’m planning on turning it into a plugin (along with some filters to sort out the raw html problem) but if something else becomes available before I get round to doing it, the lazy part of me is more than happy :p
