Well it's better for us that he sold them , cause most probably he's the type to dump the coins as soon as they hit an exchange at a low price , while the new owner probably will hold on to them considering he bought them without them even being listed somewhere