By the way, another source for new service-style degaussing coils is MCM (
www.mcminone.com). Product # 72-790 is the nice big round style, and it's $32.95; they also have the smaller (and wimpier) plastic-covered ones for $20.95. Note that these appear to go on sale quite often, however (you can check their active sale flyers online), so you may want to wait a bit.
[Note: I've never tried either of MCM's deguassing coils, so I can't really vouch for them aside from the product descriptions in their catalogs/web site. I've had pretty good luck dealing with MCM in general though.]