Yep – there should not be the necessity of an removal-tool – as the “built-in uninstaller” (that was installed at install) with the complete uninstall routines should be able to do the work; a restart (and remove the rests befor next system restart) is not forbidden.