Blog user Not seeing JCE editor even through default is set at JCE

We have a blogger that just showed me their screen where they edit and they do not have JCE. I have JCE as the default Joomla editor. It is also the default EasyBlog editor. It is also the default EasySocial editor. So, it seems he should have JCE. I want them to use JCE in order to have them page from Microsoft word into the clipboard that pastes as text only and strips out the Microsoft gargage.