do you have the option in user config (in the admin.php) if so try that.. if not tell em to try switching the theme twice as some times that works...