Perhaps someone else can confirm it, but the look like girls to me. But even if they are girls, don't change their names. They're cute names for girls. JMHO
If u look on the bottom of their shells you can see if they have a flat bottom pr a mini ditch "i call them" by their butt. If they have the "ditch" it is a male if the whole bottom is flat then its a female.