@Michael Scott - sounds like a browser caching issue to me - browsers can hold onto scripts/stylesheets (such as those used for TinyMCE) tenaciously. Try clearing the cache or a different browser?