sounds like he got scammed.

Buggy mushrooms are still edible, but high end culinary mushrooms are typically low bug. He should have asked them them to cut it open.

Source: amateur hunter. Probably collect 2-300 lbs of Boletes/year. I eat a lot of bugs.