They obviously knew. Most people I talked to knew that this was coming regardless of the bundle sale, and most people in the press seemed to know as well. The big question is whether it bought them anything. $5 million is a lot for an indie studio, but it's a drop in the bucket for a company with annual losses 30x that, and annual revenue over half a billion.