Since the merger I have seen Sirius and XM called quite a few things and I am wondering what the actual official name of the new company is? Some articles say "SiriusXm" some say "Sirius XM," who is right and who is wrong here?