I would argue that anyone who is willing to chip in 0.2 BTC to pay for the lawyer should get that 0.2 BTC back immediately at the end of the case.  Then whatever is left would be divided among all shareholders per share.

Legal proceedings are never fast.  I mentioned that before.  There's really no reason to demand speed, because you cannot hurry the legal system.

I would really like to know, however, whether a BTC refund was promised by HashFast or not.  I read on this site that it was, but I also saw various purchase agreements that said nothing about a BTC refund.  However, the purchase agreements did offer a refund if the miners were not delivered on time.  So, were the miners purchased in dollars or BTC?  If the miners were purchased in dollars, then those sales agreements speaking of refund would likely be interpreted by a court as US dollar refunds.

A third option we have (in addition to a legal argument for BTC or a USD refund) is a request by HashFast to provide the group with the comparable hashing power that would have been given if the products shipped on time.  I don't know what the difficulty was then vs. now, but if the company matched the difficulty with more hardware, I'd say it would be a win for everyone.