So the part #8864560010 is discontinued. There are two options which are 8******0020, and 0030. I can get 0030 but I cannot get enough info to find out if the switch is the correct LP switch with the right rating. I would appreciate any info. Also, I didn't know if it was the same one used for the F80 or not.