I would suggest that a 12.95kts tailwind, instead of 10kts, was not the cause of an overrun. I suspect there were other parameters at work.
Most AFM's have -10kts as standard, but airlines can research individual runways and apply -15kts. So 3 kts does not cause an overrun.
Every airline I've flown for uses ATC wind. However, it was not uncommon, years passed, for certain Spanish airfields to apply 'calm' when the convenient duty runway was decided. It was calm on landing but -7kts on takeoff.
Continuing, a little in the same vane, I ask for opinions. There are calculations for the adjustment of Vfly for headwind and gusts. There are calculations for the crosswinds including gusts to be compared to the legal limits. There are legal tailwind limits, but I've never read a calculation to include gusts for tailwinds. This aspect has safety implications for over runs. I diverted once for what I considered tailwind gusts to be outside limits. Afterwards I asked for guidance on the tailwind/gust limits. No reply, ever. The performance dept for RTOW's use 150% for takeoff. I asked what about landing? No reply, ever.
I find it strange that at a flight phase where legal limits are in force, and a phase which cause the most accidents, there is no clear answer.
Opinions?