I think it's stupid to pull a starting pitcher after 8.2 innings of no hit ball, regardless of pitch counts. I also think it would be stupid to bench a guy who has a home run, triple and double in his three at bats so far in a game. That's all there is to it. Although the consensus "early on" in HBD is that people want pitch counts to be followed religiously (I don't remember that, and I was was around pretty early), I don't see a problem with a "pull/not pull during no-hitter" check box in player or manager settings.