On Existence Proofs for Asymptotically Good 15 Euclidean-Space Group Codes