If he got the cinnamon version, that is indeed the default Ubuntu based one. I use the same thing.

One of the biggest draws of regular Mint IMO is that it leverages the advantages and resources of Ubuntu but it removes the parts that many people don’t like.