Okla. Stat. tit. 70, § 70-4423.2: El Reno Junior College - Name change

A. The institution of The Oklahoma State System of Higher

Education located at El Reno and formerly known as "El Reno Junior

College" shall continue at the same location and its official name

shall be "Redlands Community College".

B. It is the intent of the Legislature that expendable

supplies, including but not limited to letterheads, which on the

effective date of this section carry or are labeled with the name

"El Reno Junior College" shall be utilized after the effective date

of this section until such supplies are depleted. For purposes of

this section, "supplies" shall not mean college catalogs and shall

not mean signs designating the name of the college.