I'm betting on October release.
Big sales spike at launch in October.
Another push in November in the USA (Black Friday) - important market for Sony.
And finally new push in December - holidays.
Launching in November might cause supply issues if they launch too close to Black Friday.