Fortunately, right now, it's so hard to reproduce I feel justified in not putting a support ticket in