That's good to know. I had at&t when I was looking but recently switched to Google Fi which I think primarily uses Tmo towers. But that sounds about right iirc based on when I was looking at them.
I've been keeping tabs on it's xda forum and seems to have taken off much faster than the OnePlus 11's. There is only 4 roms that are solid enough to use daily. While it seemed like there is much more activity on the f5's forum.
I use the professional version of Onshape for work. If you create all the parts that relate to each other in one part studio. It can be all contextual. So changes that are made to one part can automatically update on the mating part. I would recommend you watch onshapes introductory videos on their website. That are surprisingly informative and short and to the point. Also their help guide has almost a video for every tool in it.