If a Software 'Patch' Is Installed, Are Electronic Voting Machines Re-tested prior to Being Used on Election Day?