OK, found it in gpedit.msc.
User Configuration / Administrative Templates / System / Ctrl+Del+Alt Options. Double click on Remove Task Manager and if it's not already, set it to Not Configured.
If it's already set as that, or 'Disabled', then a reinstall is looking more likely.