AIBTS because I got upset when two people laughed at me after I told them I suffer from tinnitus?

I'm an engineer and two work colleagues (one a close friend) asked me if they should be worried about a noise one of our machines was making. I told them I couldn't hear any noise, to which they both smiled and shook their heads and said "You can't hear that high pitched noise?" I replied "If it's high pitched I won't hear it because of my tinnitus" and then they both just started laughing at me.

I've suffered so long I can't remember a time when I didn't have this constant high pitched whine in my head, I have made my peace with it, I've had to or it would drive me mad, but if I think about it I get really upset and wish it would go away. Them laughing seemed insensitive and made me feel like shit.