Yeah, I agree a push mower is not the place I would get all ocd about oil, but hey, we are BITOG'ers, so who am I to call foul.
I got curious about what I had posted earlier, and looked up PP VOA, and wow!, other than a big shot of Ca, they look amazingly similar. Both syn stocks, which I'm sure there is not any real difference in as far as protection goes, GTL (ie PurePlus) vs Ester/PAO.
I'll bet you a hundred bucks, you could use either one, and .....
1) have waaaay more protection than needed
2) never know the difference between the two
3) save 1/2 the cost by using PP (and the hassle of finding Amsoil)
4) never know the difference between using either one or plain jane, (good quality) dino oil changed regularly.
I could go further, but you get the idea.
Is it good oil, heck yeah!, is it the end all, heck NO! I just don't think Amsoil is anything special in the oil world.
It's been said by many on here and it's all true, small mower engines will run almost forever with ANY oil in them. It's when they DON"T have oil in them that they start to go south quickly.
Now after saying all that, I will say that Redline is another animal, of which I'm not all that conversant on, other than having looked at a few VOA/UOA's and it looks incredibly strong for any oil. My only association with it is in my truck. If you have a Tacoma with standard trans, then you know what crappy shifting is. Redline manual trans lube cures it completely. I am a believer there. As far as the oil goes, I'd say it's probably the strongest oil made, but way overbuilt, and likely not needed, unless of course your daily driver is a blown nitro engine!