That's right, Dave. Those primary windings are #40 wire.

-Hue Miller