Do you know exactly what Tesla had to replace when restoring the FM/HD/Sirius/XM radio? For example, did they need to replace the antenna in the fixed portion of the panoramic roof glass? What exactly did they need to take apart to install the FM radio upgrade?