I believe there is a fault code for bad brake lamp switch - there was on earlier cars. I have always just replaced it - it's like a $15/15 minute item.