I have a Mac Mini (summer 2011 version) with a 5400rpm hard drive in it. It came with OS 10.7 Lion. I downloaded and installed Final Cut Pro X. But a 7200rpm hard drive is recommended for FCPX and now I can see why. FCPX is more sluggish than I'd like. So I bought a 7200rpm hard drive. Before I install the 7200 I have a question. How do I get my OS Lion and FCPX to run off of the 7200 drive? Thanks