Oh, they are print in place. Neat.
Mine are just glued in. But I didn’t buy the same magnets the part was designed for, so I thought I would just scoot them in with some heat, and it worked, but the magnets didn’t. This wasn’t a small amount of heat. It was enough to melt the plastic.
When I printed them looser, I was able to just CA glue them in. Or it might have been epoxy.