A friend has 80% of the drive formatted as "Free Space" He cannot access it and we can't find a way to delete the partition. he effectively has 100GB available. I tried to change the partition to OSX Journaled. But it doesn't stick. Any assistance or pointers?