Sounds like he can't get redsn0w to work at all, or even downloaded as yet.

It does work tho as I'm using my Redsn0w'd 3G now to write this.