They most certainly did remove all of the refrigerant as part of the repair process!
Now for the stupid question du jour, since BMW is new to me. Are all of the current/recent BMW cars using the same refrigerant, or did they make a switch recently? Just wondering if the dealership may have recovered the refrigerant into the wrong storage tank, and then put contaminated/mixed stuff back in?????