And for anybody who's super nerdy and likes to go through and look at filings, this is all available on the SEC's site, EDGAR, which allows you to find all the publicly available filings that are made by companies.