Does anybody know the name of the red rubber sleeves at the entry to the ramp(s)? I ordered what I thought were replacements, but they were too narrow. I've combed through a couple of pinball supply sites, but I can't find anything that resembles these. Does anybody know their exact size?