Has anyone tried a aftermarket one on a 3800 with success though? Denso to me seems like it should be good.