Don't get me wrong, I did not intend to sound negative in any way.
Nevertheless, I would highly appreciate if we could resolve this issue the same way your team resolved it with the exchange users in the past, given those instances had identical conditions - missing payment ID for coins such as $xmr and $krb, and manual crediting for 10% fee.
Looking forward to your reply!