That's great news Jgran.

Yes, it wouldn't hurt anything to use Malwarebytes to be extra safe.