My Mac Mini is running very slow and its not a RAM problem. But testing iDefrag showed the hard drive needs a defrag. I back up to Carbon Copy Cloner. Would booting to CCC on my external drive, erasing the hard drive through Utilities and then copying the CCC disk image back to the hard drive resolve the problem or just repeat it?