Yes, I've had to ship back 5 hashboards so far. Don't listen to other posters saying it's worthless. If you're in the US the repair site is in California so shipping cost through fedex isn't bad. I've already received 1 board back and have 3 more on the way already. Average turn around time seems to be 2.5 to 3 weeks. If your board is dead you should absolutely open a ticket at support.bitmain.com and wait for a response. It cost me $9 in shipping costs for a single hashboard to be fully replaced. Bitmain then gave me a $9 coupon to use on their site. Get your board fixed or replaced, there's no reason not to.
What did use the 9$ coupon for?