Welcome to the forumZ
sorry to hear about your problem with the brake lights, & i don't have a proper answer for you to try, BUT, next time I suggest that you use a product called Lectra-Clean, there is no residue & its made by several companies & sold in all parts stores.
now my rant
i learned long ago that WD-40 can be a wonderful tool, if you want to displace water
, like when you have gone to the car wash & somehow got water into your spark plug wire boots or into your distributor, its also good to spray your hand tools before & after using them around automotive batteries. WD = water displacement, the 40 just means it was the 40th experimental solution that finally passed the US military specifications, its made up of mostly a solvent & petroleum jelly