Maybe I'm getting confused with bpr7 eix. I have run one of them; will have a look. Ran spot on.
The Bosch plugs can be bought. Cheapest way is a box of 10 annoyingly. Jayar car parts quoted a good price on these last time I enquired.
Problem is they're the same part for an old 911 or Ferrari. Posh car tax.