“Is the Sirius XM radio tuner built in or do I need to buy an external part? If so, what is the model of the external tuner?”