Sure sounds right, Tom.
And if the short was right where they installed this little jewel, would it be a "faulted bolt"?