Not that it really matters, but I wanted to mention that the Carmelina San Marzano tomatoes are not the DOPs. But, as Marco has pointed out before, there are some non-DOP San Marzano tomatoes that are as good as, and even better, than the SM DOPs.
Also, I know that at one time the Grimaldi's chain, at least outside of the Metro NY/NJ area, used the Carmelina SMs. I tried to confirm that use this morning but I could not get into the Grimaldi's websites outside of the Metro NY/NJ area. My recollection is that the Grimaldi locations that use the Carmelina tomatoes mention the Carmelina tomatoes right on the menus.