These are very common in Florida. The name is a little misleading, a lot of them do not have red bellies at all.