Probably has been asked here before, but it looks like there would be barely any clearance between the new park deck and the existing train shed roof 😬. If USRC ever gets electrification, it appears this would need to be torn down to fit the overhead catenary wires?