Yup, I believe that's it, I think. I got a boxful of stuff from someone on FreeCycle and they were both in it, along with some other choice bits, some already built but most not. One is a Little Joe II I am looking forward to.
I imagine Estes doesn't make 13mm boosters anymore, so I may have...