Just back from a rather disappointing trip to the local department store, didn't like their selection of ice crushers, they didn't have the replacement mixer paddle I wanted, etc., etc.

Came home to learn from Internet that no one makes ice crushers that I like. May have to hit some antique shops.