BREAKING - John Gruden is wearing a red tie - is it Razorback red? #WPS