I have watched literally 100s and 100s of 10ee come and go over last couple decades, never seen a round dial machine go for more than 4K in that time. So take 4K, subtract a couple grand for the silly paint experiment, and if it is in usable shape as a home shop machine that won't hold tolerances maybe 2 grand if it has some tooling. My feelings about fresh paint have been gone over before but basically drop price by a couple grand for bad paint, drop price at least that much more if is silly color like red, blue, green , yellow, purple etc and put all warning flags up cause fresh paint is for suckers and to hide sins. Let the buyer beware.