In case this has happened to anyone else, there are things you can do to fix it, as well as other failing pixels. First you could run a video like this:
And there are also other utilities that will do similar effects to pixels, even designating more specifically which pixels. I have used such programs in the past with about a 50% success rate on dead pixels. I’m not planning on sitting and running one of these anytime soon for such a small defect. I’m too busy playing with my Awesome Pimax and NOLO. But some time I probably will give it a try.