I'm familiar with CGNAT mostly on Cellular Networks. VZW (debatably largest CGNAT in USA?) uses RFC6598.

I'd be surprised (but not too surprised honestly) if the other ones haven't cleaned up the skeletons in their routers yet.