Sunshine, red, OB and red shoulder are the best names you could give them, anything beyond that is speculation. Also, those little guys are for sure hormoned. They will lose all that color. They may get it back, or they may not. They may also be female, though with that much color, they're likely male, hormones in the food/water can make females obtain male characteristics.