BITMAIN WARRANTY should be able to help you out. They've successfully resolved issues I had with two different S9's.
On a side note, I am surprised you had an issue with the controller. The only time anything like that happened to me was about a month ago and the issue ended up being a defective Ethernet cable that I stepped on or didn't crimp right. Glad you fixed the issue though
This is the 2nd controller card I have ever had die. No outward signs on the last one but this one definitely had some melted plastic on the back of the black board unlike the black board I replaced it with.
I checked Bitmain and they have this one in stock. https://shop.bitmain.com/productDetail.htm?pid=000201611160734291469K134u1i0621
I'm not sure if it's a newer model or that it will be compatible with my older S9. They do make single piece controllers without the black board that will work on older models. Just not sure if this is one of them. I posted the question to Bitmain support and waiting for an answer. I'll spend 60$ if it will work.