If he have a developer account he doesnt have to buy anything, he gets a token to redeem on the Mac appstore 🙂 atleast that was the case last year and i didnt have to pay for Lion, even if its GM you still need to restore and update with final release or you not gonna be able to update when new comes.