I just bought a used 2009 IS350, with sport package and maybe luxury package (how can I tell?). It has the HDD Navigation, but does not appear to have a satellite radio receiver. I guess it's inconceivable to me that the car would have the nav package, cooled seats, all that stuff, but no XM receiver? All I know is, when I push the AM-SAT button, only AM shows up. This would appear to mean that I don't have the receiver. Any way to verify? Where at in the trunk should I be looking for the receiver?