If they opened up a PUMA case, then they will most likely go with the cylinder head replacement.
BMW is well aware of this issue and should approve the case id fairly quick. When I went the dealer opened the PUMA case and ordered the part 30 mins after
Now getting the part may take some time. If there is none in stock in Canada they will have to get it from Germany which is about a weeks wait.