I believe you are right, outside of one thing. PS5 will come holiday 2020, not early 2020. Change my mind...
You see... it's a matter of opportunity and convenience for Sony, and "specific month" for launch is irrelevant.
I believe it's a matter of producing components, assembling consoles and correct timing to maximize production.
it does not matter when the console is going to be launched during the first year, the most important thing is to produce as many numbers as possible to cover the demand. That said, putting the product as soon as possible in the market, regardless of the period of the year, seems to be the most logical action
Prediction: In 5 years Nintendo will Lauch a "Core Mario game" very similar to Astro Bot. That said, many will Ignore Astro Bot existence and say Nintendo created this concept.