The numbers you are giving are not going to be in the K. That information is 3 to 6 months old. Those numbers if true would not be reported until 2021. Again marketing inflated number like this will only cause a selloff when those numbers are not reached. Traders who are expecting the K to be anywhere near that amount will be greatly disappointed.
News 
Market Data 
Discover 
