I bought plugs since I wasn't sure when it had last been done and after the irritating cover pulling ceremony got a perfect Bosch BMW plug out.
This made me very happy because it corroborates the info I was given, that it had been dealer maintained for it's life.
I put it back, cleaned the covers and removed the broken antenna that was in there WTF???