No, I didn't but thanks for the tip. Seeing the largest cost was postage, I got two transistors. Always good to have a spare.Oh, did you put some heatsink compound on that transistor flange before you bolted it down? It might help extend the life a bit more.
Adding my congratulations for another job well done (and no doubt well documented ;-) )
Considering the voltages and stress on the HO transistor it is one of the most common parts to fail; you were lucky that it didn't take any other components with it when it did.