In case anyone has issues with Aladdin HASP drivers that require complete removal to start again with a 'clean sheet', Aladdin (now part of SafeNet) have given us the full procedure for manual removal of drivers. This can be found on the following FAQ page: