Even though mining doesn't directly drive up the price of that GPU, it does do so indirectly. Miners push gamers out of the new GPU market so the gamers go elsewhere. And old GPUs can be pretty valuable for making it through the year (while waiting to obtain something better).