Yea, I don't agree with this at all. I can't comment on the rest because I can't bring myself to start modding my daily driver TBSS (because then it'll turn into a never ending stupid ass project), but as far as power production, leaner is not meaner. Gen IVs work great with a mid 12 AFR on pure gasoline. They make more power, they fend off knock, they run more consistent, and they run smoother. I've checked this on multiple cars with both an inertia DynoJet and a load-based Dyno Dynamics. Slightly leaner might be better... but considerably leaner would be a dumb move.