Using the processing time estimate provided by the source below (approximately 10 pages per hour), and the length of last year’s 10-K, it appears that the processing time could be several business days. https://www.newsfilecorp.com/filing/edgar/faqs.php#14