Obviously, he could've just taken the BTC and run so I give him that, but surely if a raid action were taken there would be some evidence of it since the government has open records requirements and all of that stuff, right?
Ongoing investigations are usually exempt from public records requirements.