Yes. Nannostomus are pencilfish. There are a few different types and I think any would do well in your tank but the coral red are really beautiful fish.
Yeah, I was just checking out some pictures on the internet. They ARE beautiful. I spent a lot on the diamond tetras, though, so maybe something a bit cheaper would be better.
Coral reds are pretty expensive but some of the other species of nannnostomus are more reasonable. Very interesting fish and great in a community tank.