I don't have a lima, I'm just doing research. Shovelnose cats are cool they, and limas are the smallest ones I know of. The cichlids are around 2.5 inches.
My other 75 has a male GT around 5-6 inches, but its got clown loaches and giant danios which I assume would be eaten. I'm willing to shuffle stuff around if it means getting a lima though.