I never heard of the above, but I also have my own method that I discovered one night on some tinnitus forum:

1. Straight body, drop your head all the way down, chin to your chest. 2. Place the palm of your hands on your ears, blocking them, with the fingers to where the back of your neck touches your scalp. 3. Tap your fingers on your stretched, rigid neck muscles.

Just sharing it here since it has helped me and it doesn't help to have many techniques to battle this.