Hopefully they kept their bitcoins instead of exchanging for fiat, but might be hard of them to do considering how expensive it is to run a restaurant