I am convinced they did not vote down ballot for fear of creating unrealistic vote numbers in the House Districts. Based on their size it would be obvious, and hard to control vote adding in a proper ratio.

That said could an audit of total House ballots for each district be done against the total volume printed? House districts, unlike Senate races, districting cause each ballot to be specific to a region. Even if they didn’t vote down ballot candidates there should be a specific number of House District ballots in each area.