Name History
May 7, 2023:
"01. West Side" was renamed "01. West Side [Closed until June 1, 2023]".
May 7, 2023:
"01. West Side [Closed until June 1, 2023]" was renamed "01. [Closed until June 1, 2023] West Side".
Jun 5, 2023:
"01. [Closed until June 1, 2023] West Side" was renamed "01. West Side".


