The Define Pages Editor (HTMLarea) is that using TinyMce?

I'm working on a mod, and would like to use TinyMce or something like it, but if there is something like this bundled in with zen there is no reason I would need to include it in with my mod.

If there is something bundled in with zen what is the id tag or script would I need to use it with my textarea field?

Thanks for the help guys