That was my thought too; one way to get another data point is to just run the task manager as soon as you boot and let it stay there. If the fan behavior NEVER comes back while doing that, another point in the "mining malware" favor (though of course, not definitive).
Though he did say a VAREITY of laptops, both Windows and Linux. Can someone be _that_ unlucky?