Has it been said anywhere what kind of hard drive will be used inside the PS4? I really wanted to go out and get a bigger hard drive I just do not know which kind to buy.