Can't find any useful info about keeping them, let alone where to find them. Loadsa questions!
How tolerant would they be of water conditions different from their native Diet Coke, could they be acclimatised to 'normal' water?
Would they take dried food? What do they normally feed on?
Can they be kept in groups, are they territorial?
Can they be bred?
What's their lifespan?
Would definitely have to be a species tank, custom build maybe only up to a couple of inches front to back if there's to be any chance of seeing them.
Garden shed full of tanks (tropicals) and a pond.
Without understanding, knowledge is worthless