A restoration and a shop job are two very different things. If it's truly fully restored the $5k price tag is probably not too far out of line. If it's just shopped out with a touched-up cabinet but has some general wear, it's probably not worth that much. Pictures would help.