Just finished a boot time scan with Avast - did not detect win32:bprotect-D, which I guess means we’re in the clear!
Computer seems to be running a lot more stably and faster as well.
Thanks so much for your help!