I don't see anywhere in the post or the repo how much it cost him to do this in tokens.