Wait, is this file part of the base game or the multiplayer DLC? Probably the base multiplayer executable. So purchasing the game normally includes it. If they're trying to replace a missing file, they might need to validate their game cache through Steam.