What a strong start, kicking off with a 3940! Apart from the Nautilus, this is the Patek that pops up the most all over the internet/instagram. Congratulations on finding one that meets all your expectations, I know that during your service if you indicate that you want it to be polished, they will do it at a very high level. I talked with them about this, and I was told that you shouldn't polish more than 2 times in the watch's lifetime, in order to maintain the crisp angles of the design, which they've worked really hard on. In conclusion, bearing in mind you don't plan on selling, getting your 3940 polished, so you have a watch that feels and looks "new" would be the right thing to do.
Love the Batman, definitely my favourite two tone GMT!