I'm pretty sure by his "posturing" that Lucky is a boy. He's quite feisty right now. I got him out of a tank with a shattered side and heat rock into a nice set up.
I'm about to upgrade him to a 40 gallon because I need the 20 for the gecko. He'll just have to adjust again.
Thankfully, his bones are firm and he's healthy even if he's small.