In this study, we present proofs of results of Helton, Kelp, and McCullough from [8] on inclusions of free spectrahedra and their relationship to completely positive maps. Our original contributions extended some of their results to the setting of completely bounded maps.