I have no idea about the SR's coin but who is going to conduct an auction for these 4000 BTC? If its the government that will held an auction for this, why are they doing so when there ain't no regulations yet about crypto.
4000 BTC is enormous amount that could discourage an investor when their money invested depreciates in less than a day.
It's going to be the US Marshals Service:
These are the terms and the info for one auction that was conducted earlier this year, with nearly the same amount of BTC (although at a higher price)
https://www.usmarshals.gov/assets/2018/bitcoinauction/and here is one from March:
https://www.usmarshals.gov/assets/2018/marchbitcoinauction/Bitcoins are already regulated, the IRS sees them as property so they can be auctioned with no legal trouble.