Took a closer look, I see they give a 35dB noise reduction.
That's way too much for this purpose (IMHO). The filters we (me and my wife) use in our ear plugs are something like 15 dB noise reduction (35 dB is a HUGE difference).
I would not use them for listening to music, let alone for playing music.
But then again, I don't have tinnitus, YMMV
I would recommend custom made earplugs with interchangeable filters. My wife has those, and she is very pleased with them. Several experts have told us that you need something that can adapt to the shape of your ear canal. If there is a small gap, you will get the impression that the volume is reduced, but you could still get damage to your ears. It might just be a clever sales trick, but it somehow makes sense to me.