I am thinking about the way the Braumeister works. It keeps pumping wort through the mash, so it's different from sparging with a pitcher or bucket and plain water. The pump will keep running all the way to 190 degrees, so it's running during a 170-degree mashout. Running 170-degree wort through grain continuously for 15 minutes must give it a pretty thorough rinse, but because it's wort, not water, it has to leave a lot of sugar in the grain. You can't rinse wort out with wort. All you can do is make sure you've mixed everything up well. So if I really cared about peak efficiency, I would have to pour some clean water over the grain at the end.
I feel like I should keep doing the mashout just to make sure I give the system a chance to do a good extraction, but I am not inclined to fool around with extra water, since things are working fine as they are. I don't think I need to think about denaturing the enzymes, since no one else seems to see any benefit in it.