Azurro
Banned
It looks like the average switch time is ~6 seconds, so expect PS5 to be ~3 seconds.
You can't just divide by two and estimate the results like that. Both I/O pipelines are different, so we simply are not able to estimate how much faster loading is going to be.