Hi JAM-C,
boot time is ok, but maybe he will still have to change some registry settings back…
But avast Cleaner imho won’t clean REDLOF