So, for 7.5mH: Whoa -- 12 AWG, 14.7" length, 32.7" diameter (!), 91 turns, 777 feet of wire. Ouch. Not to be defeated, I'm making sawdust. Wish me luck. Eric