I'm guessing it'd devalue if they tried to sell at once, but isn't mining public in that the public blockchain already reflects the 500m mined?

Trying to sell all of them in one go would devalue them.

I would suspect that speculators would devalue it expecting a significant amount to be sold.