I ordered nine “Loudspeaker Spacer Pip 2” from Tom Tom (so I would have three extra for future use).
I notice they also sell “Loudspeaker Spacer Bar Pip 2”. Not sure what the difference is. Both products have the same picture. Perhaps these are the actual pins, whereas the product I ordered are the washers that look like Japanese throwing stars?