"Publication 1345 that says EROs should use the same PIN for the entire year"

Guess I haven't looked at that Pub in a while.

I always do use the same one.

Like Lisa, I've only been asked about it a few times, when on the phone with IRS.