No, I didn't even bother. Although, from reading various forums around the internet, it sounds like Supermicro has been pretty helpful, and I saw lots of people claiming to get replacement boards even out of warranty. I think this may already be my longest running piece of hardware as it is (5 years next month). If this 5 minute fix keeps it running for another year or two, that's good enough for me.Did you contact Supermicro to see if they will repair it for you?
Not sure on warranty (if any) after they repair it.
I'm curious if the rate of failures of these boards will start going up now that it's been a couple of years since the bug was first announced. I made it considerably longer than the initial 18 month estimate that was given when the bug was announced. I'm sure many people will just assume the board died and replace it, like I was getting ready to do. It was just dumb luck that I stumbled upon an article about the bug while I was looking for a comparable replacement.