FutureHMSGrad

Is it just a coincidence that both REDneck and REDleg have "red" in their name??? Is there some rivalry among the REDS?!