Is that true of both the PS5 and PS5 Pro, or just one of the two? My impression of that situation was that the PS5 Pro was in high demand because of GTA6, but the regular PS5 was plentiful.