It says in the manual to use DENSO SK20R11 or NGK IFR6A11. I can't find any of these available to get without long shipping times, I need to get some asap! Are there any equivalents/alternatives I can use? I'm new to this and would greatly appreciate any input!