note sure about the 15gb of 'mystery' space
possibly install files from games?
and yer, as you;ve said, the ps3 formats the drive once you restart it.
jsut make sure you have the formware on a usb stick
its a piece of piss, we've done heaps of em at work
group buy of ps3 hard drives from ash