A risk assessment of Williamson County voting machines (25:17)