Regular trading hours

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

Source

17 CFR § 242.600


Scoping language

None
Is this correct? or