Hey everyone, just curious, I was talking to a vet today and was telling him about my son's stimmie and he has never heard of one

but that it could be known by other names but even giving him the scientific name etc he had no idea. Basically I was wondering what other names they go by, he may possibly know them by a local name or something. And yes I have googled a heap of names but I'm sure there are others out there. thanks in advance