Our car went into the shop for an annual service and for TPMS sensor replacement. Now our radio looks like the photo. Is there some sort of reset...