I started my 1994 90hp Johnson yesterday with the cover off and saw gas spraying out near the solenoid when I pushed in the key for the choke (not a good thing usually). I haven't disassembled it yet but I'm guessing I will need to replace the gasket. Any idea where I can get one online? I've checked the brp parts list and couldn't find one and other searches have turned up the entire solenoid for sale but not just the gasket. Thanks!