They might spend $600 on 10 of those games, though. It's not all-or-nothing.

They might still spend $600 on 10 more games though. Or spend it on a subset of the games they pirated because they want to support the developer. Who knows.