No, no luck.
Their in a tank with a trio of peppermints that are breeding constantly and there's about 100 juvie peppermints swarming around the tank as well. Its a bit chaotic. Not in any rush with them anyway. Will put them in their own tank when I get to it. Have some others that I'm concentrating on at the moment.
Cheers.