I just stumbled on this post, Lion. I’ve known about Penn Station and 33rd Street for many years but I never realized just how extensive they were. Thanks for the information.
One thing it does is to remind me that Pennsylvania Station and Grand Central Terminal are separated and ne’er the twain shall meet.
John