Red or not? Frank says Brighton's Pedro should have gone

Joao Pedro avoided a red card despite swinging an elbow in Brighton's 0-0 draw with Brentford, but was he lucky to do so?