I have one if you really want to pick one up. It is around 5". I would have to ship it to you. Let me know. He is in a tank with a heater with the temp around 78 degrees.
I have made plans to build a 6x4x4 native tank with about 10X turnover depending on the plumbing so if there is anyone out there willing to sell/trade please PM me or else the tank will be pretty empty