Absolutely.
Update - Repair shop is waiting on socket to come in but they expect to do more troubleshooting to find the source of the battery drain once that comes in. In the meantime, I’m unplugging the battery whenever the car is in my garage. (I don’t drive to work so it is unplugged most of the time.)