>>618501レッドカードが出た場合はレッドは取り消されずPKになるはずですよ。