They used to use vinegar douches... I wonder if that (or lemon juice or something else acidic) would work...

Menthol seems to be a common one. In fact, Dens list seems to be split between things that contain menthol oil (toothpaste, vicks, tiger balm, deep heat) and things that contain spices (peppers, ginger root etc). How about somethign like garlic?