HEPA filters cut covid-19 sick days but we've been slow proving this