Should You Buy Red Hat After Its Post-Earnings Plunge?