These needles are called press needles or press stud needles, used more often than not in Japanese styles of acupuncture, but over time their benefit as a gentle continuation of treatment has seen their use extended into the mainstream. They are also commonly used in ear acupuncture.
