Thanks - I will keep an eye out for it. My brother had some smelly stuff with Deet in his golf bag that we sprayed on our hats when he was here to help take down trees last month ... didn’t work very well. The gnats were in ‘clouds’ that day - awful.
Right - DEET seems to have little effect on gnats.
I don’t know who beyond Menards and Walmart sells the Trek repellent, nor which ingredient repels the gnats best. However, a web search should turn up sellers. I guess I’d rate the stuff as “80% effective” against OUR gnats and flies, but less so on mosquitos, for which DEET seems to be tops.
Trek makes, IIRC, 3 or 4 different repellents. I do know the kids’ version is not as effective - no surprise.