There were these eye drops called "rhotos" that were popular a little while ago, they may still be I'm not sure, but they had different "flavors" that would give different sensations of relief after. My favorite was the "arctic" "flavor"