12 dB is a pretty decent reduction if your goal is hearing protection, 100->88 is also bringing it to something that absolutely needs hearing protection to something that’s borderline acceptable for an 8 hour shift depending on your local laws, mine say 4 hours but still, way more comfortable to use.

Anecdotally, pretty much every time I’m searching for information on reddit a number of comments are redacted or even the op is deleted. The only reason I didn’t purge my comments is in case someone might find them helpful.