I was afraid that's all there was.  Those rules cover what "everybody knows" and if you understand them thoroughly, it's clear that they also apply to animated manlands that you haven't controlled since the beginning of the turn.  Unfortunately, this guy's argument was that because it was a land when it came into play, it won't suffer from summoning sickness, even when animated.  I don't think pointing those him to those two rules would have done the trick.  I'm going to see if the old Saturday School archives have anything on this...
Jackpot!
From Saturday School #22, Saturday, 05 April, 2003:
Q:  Can Mishra's Factory activate and attack the first turn it comes into play? I say it's still a land, so it wouldn't have summoning sickness, but my friend says I could not because it turns into a creature, therefore having summoning sickness. Who's right?
--J. Warren
A: All cards have “summoning sickness,” but it only affects creature. Once Mishra's Factory becomes a creature, all rules that apply to creatures apply to it. So if the card came into play this turn – regardless of whether it was a creature then – it's not allowed to attack.