Thanks @safrane @FIFTY and @conaero for the help!
Indeed, the trunk light is not working either. But it looks like all the wiring for those go up through the flex tube by the gas struts holding up the lid? If that is the case then it doesn't seem likely that the repair shop did something wrong here (it's just such a suspicious coincidence that it should fail during the repair...)
Indeed, the trunk light is not working either. But it looks like all the wiring for those go up through the flex tube by the gas struts holding up the lid? If that is the case then it doesn't seem likely that the repair shop did something wrong here (it's just such a suspicious coincidence that it should fail during the repair...)