Indeed, that was even faster that any kind of centralised company customer service. BitShares community ROCKS !!!
We are helping him with the info from github.
He use the online wallet for the moment so there is no hurry. I'll post here the solution that worked for him if we find it ;p