If they are paying just the right amount, it makes no difference whether we sell or mine.
Except that if you sell, its coin in hand right away vs mining which takes a while to collect the coin.
A coin in the blockchain is worth two in the mainframe.
IOW, it's better to get the money now because of the risks associated with mining (difficulty, hosting, hardware failure) and invest it in the next gen of 28nm chips.