The aftermarket versions of the module are good to 7500rpm.
I keep changing my mind about fitting it as the FBO unit is working OK at the minute. Still not convinced it wasn't something going on with the ballast resistor either. But unless it goes off again I can't trace it. I need good weather so I can get the car out and really shake it down.