Well we do not know if he has them or not. Then again, did they all come with it ? I mean, how can someone lose such documents ? That shit cost so much, i cant even see myself tossing a precious paper that comes with it haha.
Anyway ill wait for his answer and get back to you. If i dont get it, might aswell see a member from the dojo getting it, i know it wont end up in some dirty hands trying to resell it for more.