If I’m not mistaking the buzz is because it’s AC hence the buzz frequency is the same as the AC’s.

Certainly it makes sense that the high voltage would be generated from mains power using a big fat transformer since that’s probably the simplest way to do it.