Question about proving out a gene

[MarkS]

However, it seems like when someone gets a yellow belly as an import they still call them a yellow belly.

Actually Ralph Davis originally (and probably still) called his line of yellow bellys 'goblins'. You can't really call an animal by an existing name until you've actually proven them to be compatible. After all look at the super stripes and others in that group (puma, highway) which were originally thought to be yellow bellies until they were proven NOT to be.