BTW, I like that moniker: Tom "Petty"
I didn't catch that. "Tom Petty and the Petty Thieves"
A fine moniker, indeed!