Tripping of the AUX temp sensor should change the color of the `System settings` icon, and the `System temp & fan` button to red.