Maybe post it on the Craftsmen forum too? Folks are probably out Christmas shopping and doing cards and stuff, but they'll probably like the info there as well as here.