Nice score, Phil. I've never used a WP Trash-Masher, compactors are pretty rare around here and GE & KA are about all I've seen.
I have a KitchenAid compactor that I found at a thrift store, also never used. We use it for cans and plastic recycling, not ooey-gooey trash so it stays pretty clean.