Did you know that Senator Bob Hagedorn introduced legislation to name John Denver 's " Rocky Mountain High " Colorado 's second official state song ?