Is Red Hat Inc. Still Red Hot?