My control boards finally arrived, although the delay was a few weeks later than usual.

It looks like the Bitmain store is no longer "under maintenance" and furthermore, most of the repair parts are back in stock. Not sure if I would trust that, though.