RCA 45s were also adapted to the smaller spindle of an LP player with a plastic snap-in insert known as a "spider". Wy did records outside of the US often have small holes with the ability to punch out the center?