Another trick for the same problem is to tell yourself “this is not the time for that, I’ll worry about it later”. If that doesn’t work then yeah, a boring distraction usually does the trick.