The most interesting thing regarding the launch of PS5 Pro is that it hasn't boosted the sales of the regular PS5 and Digital Edition at all. So if this would have been the strategy of Sony with the high price tag, it doesn't seem to work out.
After the holidays I expect a PS5 baseline of 20k in Japan.