Let me guess: had he by any chance installed a metric buttload of extensions? And then not tried creating a new profile in order to isolate whatever was soaking up the CPU cycles? Because that's usually the cause of Firefox performance problems ...