How Big Is the PlayStation 5 Exactly?