Yes, they’re all the same species. Although they often do look a lot like strawberries, they come in more colors than people – at least a couple of dozen. The red ones with dark legs are referred to as “Blue Jeans” morph; the others seem to be named for the places they’re found: “Bastimentos” for the spotted orange, “Isla Colon” for the spotted green and “Cayo Agua” for the plain green, and “Cauchero” for the blue-lavender.
The magnet Blue Jeans morph is still looking for a home. If he croaks to you, write to the Salamander to discuss details of the adoption.