The Tesla mobile connector was stolen from the frunk while in service at Tesla Service in Santa Clara. Have you experienced the same? Should we always remove the Tesla mobile connector before leaving the car for service?