They should have listed this in Bitpremier. There are dozens of similar listings there. Otherwise, how Bitcoin enthusiasts will know about this sale? That said, if the sale actually happens, then everything will be smooth. Washington is a Bitcoin-friendly state and there are several Bitcoin ATMs and other crypto-businesses operating out if it (esp. in Seattle).