Almost guaranteed to be. The only other way would be to have issued them during the transaction with the Sec. There was no mention of that. 60billion of issued shares would have been mentioned. It's non trivial amount.

Um, I honestly don't know for sure, if I'm not mistaken SpaceX has some weird staggered release schedule for employees and early investors, I guess based on their stock dates.