That price seems somewhat high, even fully restored. Big Euro tabletops can be great performers, but they usually sell for less. I believe I have seen two flavors of Carmen -- one is more in the 1950s style with rounded edges, and the other more 1960s with a light cabinet and very squared-off look. Sets with 1960s styling are less favored by collectors, because . . . they look newer, I guess.
Even the 1950s Euro tabletops are often priced low at swap meets because they tend to look so much the same ("piano key" style) and some people are intimidated by the electronics.
Only you can decide how you want to spend your money. If you're not experienced with electronic repair and you simply want a hassle-free older radio, then paying "retail" for a restored one may be your only option.
Just my $0.02.
Phil Nelson
http://antiqueradio.org/index.html