When one of the red lights on a car dashboard starts flashing, any sensible person will stop and check the owner’s manual.