I'm going to buy the base mini and upgrade to an SSD myself. What did you guys do w/ the 5400RPM drive that comes with the Mini? Did you buy an external inclosure and just use it as an external Time Machine? Just wanted to get some ideas. Thanks in advance!