Hard Forking will probably be a disaster for ETH price and trust on the network.
While many people (like myself) will be unhappy if there is no way to recover the funds, the priority should be to maintain the network's neutrality.
Be as it may, DAO was only 15% of ETH's token and just half of it got stolen for good.
RE: Should Ethereum fork?