I'm pretty much sold on purchasing the base model Mini, but I want to know if I should be concerned about heat issues if I upgrade it to a faster (7200rpm) hard drive? Is anyone aware of any 3rd party Mini cases, "chill pads" or the like that I can purchase? Judging from the internal pics, there doesn't seem to be ample space to attach a fan to the hard drive itself... I'll be doing a fair amount of video editing, so making sure the Mini stays cool is very important to me. Thanks to any that can help.