Regular trading hours

(64) Regular trading hours means the time between 9:30 a.m. and 4:00 p.m. Eastern Time, or such other time as is set forth in the procedures established pursuant to 242.605(a)(2).

Source

17 CFR § 242.600


Scoping language

None
Is this correct? or