I like where your head’s at but I was operating under the assumption that they must file their Q2 10-Q by 8/15/20 absent an extension, since the report filed 6/30 was for Q1. So I think we’re looking at an update sooner but let me know if I’m missing something. I’d be excited to get an update that soon, O/S but honestly moreso on revenue (and the overall ops side). Based on what we’re seeing in pipeline/recent deliveries, I expect the aggregate of Q2/Q3 revenue to be quite healthy.