Does the size of the PS3 hard drive matter? Is it used much? Is it worth an extra $100 for the larger hard drive.