In case anyone is interested, there's a guy selling a lot of THREE robotyranus's for 29.95$ on EBAy. I questioned him about it and he says that, yes, they are the full sized Robos, not minis. The only thing is that they only have 1 remote to share. No big deal. He had 2 lots for sale.

I couldn't resist and bought 1 of his lots for myself. I plan to tinker with at least 1 of them, happy in the knowledge that if I mess up one of my reptiles, I have 2 others who are still fine.

 Just search for seller "sundaysseconds" or roboreptile to find it.