OEM is over $100. Are there any suitable aftermarket igniters available? I found an OEM on amindemoa.com for $35 but I suspects it's fishy. Thanks.