I used to trade in game currency on various games. It comes down to trusting and middle men but it defiantly happens, just need to find the right websites to trade on. Not saying that the figures are dead on correct, it's all very rough estimations. But I can guarantee that a good portion of players who lost ships probably paid IRL cash for them or parts of them.