I think he'll be surprised. The PS4S would have been a better overall tire than the all season Michelin. I daily the AS Michelin, but only because they're very good AND they last 30k+ miles. If money was no object, I'd go the PS4S. I really, really, REALLY dislike Nitto tires on high torque cars. I've never driven a set that held up due to their sidewall design that I personally don't like.
The great thing about the PS All Season 4 is that they're dead-on consistent from mile 100 to mile 30,000. Little to no traction fade, very predictable, and for an all season tire, they give near summer-like cornering feel and they have unmatched wet performance. They're a bit of a jack-of-all, master of none but the rain on a Redeye. They aren't as good as a PS4S on nice hot days, not as good at extreme handling as a dedicated track tire like a Cup 2, but they are consistently very good for the life of the tire and they'll outlast all the other summer tires by a factor of 3.
I've never directly compared a set of broken-in Nittos to a set of broken-in PS All Season 4s. However, I have compared the PZero summer tire to the AS 4, and the AS 4 is better in every regard. I know, that's not saying much. The AS 4 is not as good, generally speaking, to dedicated DRs or summer tires. The kicker here though is that the performance difference isn't that much less, but you get 30-40k miles out of the tires in tradeoff. For folks like me who daily these cars, it's a no-brainer. If I only put 3-4k per year on the car, I'd run PS4S year-round.