They can sell the coins on any exchange that allows them to convert it to real money. Not sure how deep the order book is so they may not be able to convert it all at once.