I don't know the AUM of this pension fund but if the managers were doing their jobs they should have had at least a tiny bit of exposure to SpaceX years ago.