Well, i've decided i'm just going to format the drive and install 7.5.3. It currently has 7.6. Is that worth hanging on to? I never see 7.6 on ebay or anything, so I'm wondering if it's worth something.