Yep they are filed with the SEC, you can see one of them here: https://www.sec.gov/Archives/edgar/data/1418091/000119312521...