80W90 is quite widely used, but I've noticed that it gets pretty thin here in July/August. Especially when the mower is parked and the tranny cooks in the brutal sunshine. If your part of OK is hotter than my part of KY, you might want to consider 85W140. I'm going to top mine up with 140W in the spring.
//greg//