[jws]

I believe they use induction generators which do not use permanent magnets. I have not seen one, but that is the old school way of doing AC power.