The money is still on his account.
I'm a mod on duckdice ,  and would just like to say that for the past 1 year I've been a mod  ( and 3 years a player )   there have only been 3-4 cases where a player had to go through KYC  ( and for good reason ) .     Players have withdrawn hundreds of thousands of $  in a single transaction without having to go through KYC.  

We've even had a 10 btc faucet withdrawal a few months back without issues.


So a 11 Xmr withdrawal is not really anything big ,   regardless of Xmr's privacy settings ,  the KYC procedure required for this user was for valid reasons.