I discovered (via Google) that Permetrin was sold at the Army market on Beach Rd and so dragged my uncle and aunt there to help me search for it. (My uncle, BTW, has not been in the army for 40 years, so he wasn't sure if the Army Market would have this repellent that no one has heard of. Then again, he didn't know what DEET was.)