It was always in my stupid weird kid headcanon the gator became the big lipped one in All Dogs Go To Heaven. So you would not be wrong here. In some far off distant memory that I may have entirely fabricated, I feel like I read somewhere at some point that he is the same gator.