I would think between 3500 and 6000 it depends on the area and the paint cost and what work they are going to have to do what looks good to us may not to the painter and if you don't listen to them there job will not look right ,I know my painter is a card all his own, good work and good looking job.
Pete
