What is a reasonable price to buy a fat PS2 in the US?