Yep.. good question. There are still about 160 BTC left on https://blockchain.info/address/17CmSWy7zMQq1zoRC2BXf4YgX6LVBjkkUK
What's going to happen with the money that will be left?
And will all the people who don't take the refund just be stuffed in the 5 remaining miners?