He didn't pay $20k to trademark those names. A trademark registration typically
costs $225 if it's done electronically. You can add several names on one application as long as they're in the same category of goods/services, so the guy may have $1000 in registration fees if he broke the registration up into 3-4 filings.