I entered that bout and don't remember my source. So I checked the 1986-1987 ring record book which is the revised and most accurate of all the RRB's. I also checked the CBZ. Both sources don't list that fight at all. So I am going to delete that bout until further facts come to light.
