eric_
We could map it using opening_hours="Jul 2-Aug 29: Mo-Fr 00:00-00:00" but it means that: 1. it would be rendered all the time as this information isn't taken into account by the default OSM renderer, 2. the interval will change every year (so maybe "Jul-Aug: Mo-Fr 00:00-00:00" is better).

Because it seems a bit complex to manage for this kind of POI, I would suggest to add a note as well, nothing more.