I ended up deciding that the price on the color laser printer couldn't be beat, so I just put in my order. For amusement, I went to Fry's last night and had a look at the selection. They had a Samsung CLP-300 (review) for about $20 more than I paid for the Xerox that, on inspection, has unmistakably identical guts. Should hopefully do the job. And, if not, Costco has a generous return policy.

Amusing thought: I wonder if this printer generates the yellow-dot watermark?