Don’t worry at all unless it comes back repeatedly. If so changing the brake light switch is no big deal. Probably less than a $20 part so about $300 at the dealership or near $20 anywhere else. I know Hyundai has had some issues with the switch. I’m sure other makes have as well. You can tell it’s bad if your brake lights are on when they shouldn’t be or aren’t on when they should be. Usually an intermittent problem. Extreme cold can sometimes cause issues like this that go away in more sane temps.