It can come on anytime between 3-10k depending on driving , there is a section in your handbook do not just reset it change it , I have averaged 6k miles between changes over the last 5 years
I thought it was the supercharger supplier I:e Roush that honoured the manufacturers warranty in the US not ford and that’s why their usually slightly detuned
They had 2 when I collected mine 3 weeks ago a manual and a auto in FJG , they had registered them so they could increase the price and was told mine was the last unregistered Mach1 that they was going to sell.
I paid £58k grabber yellow auto