Strange. PACER guy from Twitter had it listed at 10448 sealed.
https://twitter.com /t193931/ status/947164481108434944
Is the 9294 amount based on old data? I don't understand how there could be such a massive discrepancy.
To clarify for my previous post, the same twitter person who reported 10448, now reports the 9294 amount. So it appears to be a non-issue.