Found them. Some say hes a Midas but I just call him a red devil. No hump and thats his wife. She was at 6-7 inches at that time. I had this fish for a very long time and sold him recently. I believe he came out to 15.75 inches I just say 16 inches. His tail is around 5 inches itself.
Hes very LONG and not that tall.
I bought him at a foot long and it took him 6 years to grow only a few more inches. He wouldn't fit in a bucket when I sold him I had one of those boxes at the fish store I had to give him away in.