Thanks to all for the replies. As far as $400.00 being high: a new one is $750.00-ish, plus shipping. This enlarger is new. It's boxed, came from an estate sale, and appears never to have been used. Includes 3 neg carriers and a 50mm lens.
Besides, it's for sale at our local mom-and-pop photo store, a thoroughly excellent place run by friendly, knowledgable people. They get my photo dollars whenever possible. I may try to talk them down some, or get them to throw in some film or paper or such.