If it can be proven beyond a shadow of a doubt that he cheated by using performance-enhancing drugs, then yes, go ahead, remove his name from the record books, asterisk him, whatever. If, on the other hand, it becomes a "we'll never know for sure" situation, or if he was not in violation of the rules at that time, then let the record stand. Athletes push themselves, and I think that's part of sport. Before his name comes off the list, I want proof he cheated.