I recently hit 240K miles and figured it might be a good time to change my plugs/wires/cap/rotor. When I opened the cap, I found oil and plastic pieces (I know it needs the O ring but that'll be later) but the plastic bits weirded me out. Kinda looked like chili crisp but in motor oil but I wiped it away before thinking to photograph. I also noticed this crack in the insulator or whatever the red thing is. Is it worth replacing the distributor (if it's even available) when I do the full valve cover etc gasket replacement this fall?