Brian Joyce Declassified FBI records have been released to the FBI vault.

https://vault.fbi.gov/brian-joyce