In reply to David Innes.

I dont think so, or at least I couldnt find anything (in less than 10 minutes of search). There is TinyMCE Avanced though.
One could certainly use that plugin as base, and fine-tune it into a per-user solution.

cu, w0lf.