What kinds of tropical sea stars are these? Caribbean/Indo-Pacific.

Hi! I work at an aquarium where we have various species of tropical sea star but I feel like I don’t know anything about them and can’t find any resources to help!
The Chocolate Chips are easy to ID but all the others just get generically called Cushions - no specifics whatsoever.
If they are Cushions would I be right in assuming Caribbean rather than Indo-Pacific? I honestly wouldn’t be surprised if they’re a different kind entirely.
Any help appreciated :)