I wonder the same thing... Also wondering if they have already filed and the SEC hasn't published yet?