I am changing my 80gal from fresh water to salt water, and need homes for these two. I'm pretty sure it's a Red Devil (think it's a male) about 8"...