How Big Is Planet 13