Actually they are pretty common, most reasonable pet stores should have them. I believe the scientific name is Cardinica Japonica...
They're pretty good, but make sure your tanks sealed pretty good, they seem to like to 'roam'. I keep finding them in my HOB filter... (I think the cats get a few snacks occasionally too)
Andy