I'm going to pick up a 20 Gig model sometime and would like to put a bigger HDD in it. What type of HDD does the PS3 use?