If you're planning ahead for a future service, keep an eye on eBay. There are often original Mahle ones available for under £20. The cheapest I managed to buy was £12! I've just checked and unfortunately the cheapest currently on eBay seems to be £27 and that's not a Mahle either.
