I am eating a bag of Kirkland Extra Fancy Salted Mixed Nuts from Costco, and there seem to be the usual number of Brazils in there (which is not many).
Unshelled, of course.
He'd bring some juice on the pass rush, plus he'd be great in the locker room cuz he could tell the young bucks lots of stories about what life was like back in the 20th century.