Would you retire my helmet?

I was belaying a friend in El Potrero recently and he dislodged a rock above my head. My situation to him was about 30-40 feet below, and 20 feet set back from him because I was standing on a bit of an angling slab ramp. I would say this rock was about the size/dimensions of a classic PB&J sandwich (probably just a bit smaller). I was so glad I reacted instead of just watched because I ducked down so I was protected by a bit of a ledge and turned my head— it impacted the back of my BD helmet at one of the triangular holes and I was totally fine. If I hadn’t ducked it would’ve hit me in the chest, and if I hadn’t tucked my chin and turned my head I think it could have hit my face.

General warning— EPC is notorious for rockfall but it’s been a little extra this year due to a heavy storm season. I saw or heard of rockfall almost every day on my trip 😅 I’m attaching photos of the dents for detail— the fresh ones are the more obvious scratches on either side of that triangular hole. Any thoughts? Thank you!