I’m wondering how he found out about it? Given a tip?
Article says he brought his car in for an oil change and the mechanic pointed it out to him.