I am building a theme options page and was wondering if there was any way to just include the tinymce script that comes with wordpress rather than uploading my own. I have seen in a couple places that apparently there is a wp_tiny_mce() function... but I couldn't make that work.