If you no longer want to deal with BFLS/BFLS.RIG then buy out the shareholders, as per the original terms:
BFLS: $600/200 shares is $3.00 per share.
BFLS.RIG: $15295/6058 shares is $2.52 per share.
The really big problem is that the asic upgrade is not factored there. If Josh doesn't want to deal with this further, the best way would be to liquidate everything
after the conversion to asics, by auctioning them. This would guarantee a correct book value for the shares, based on the current value of asic hardware.