So, they're not destroyed, they're just not usable in the current implementation where they're hosted. But, they are counted in the coin balance for that web wallet. That presents a UX issue for the user. He knows he owns them but he can't get to them.

If the implementation changes in the future, those MSC could be sent/spent.