No, but then i doubt anyone here has access to that wonderful world wide database of all red cards ever given... :/