Even with the PS5 shortage, Sony’s PlayStation had a record year