I say go with the Thomasi, lovely little fish.
The other option would be the little african barbs (either Barbus fasciolatus or Barbus Hulstaerti)
The other option would be the little african barbs (either Barbus fasciolatus or Barbus Hulstaerti)