Well, I guess y'all have dashed my hopes of receiving a "Smarter than a Kubota Engineer" certificate. I do appreciate the feedback, though - especially the folks who interpreted the replies from guys who obviously sat in the front of the classroom. Like N3BP, I've got a few years of experience with these gearboxes and gear oil has always worked well. I'm likely to keep using it.
TheOldHokie - I agree. Keeping an eye on the seals is probably more important than oil choice. Pretty much every failure I've seen is because owner didn't notice a slow leak until they heard metal-on-metal sounds coming from running it dry.