Besides Frankie, are there really any original Bungie-Halo employees at 343I? Just curious considering they'll be the new Halo producers.