Thats a good point. You need to block it anyway. Why not block it out and buff it ? Id start with 1000 and knock it down, Then go 1500 and 2000.
Either way $1500 while not cheap isnt a bad price to mask and spray it. They will likely spend a day cleaning and masking, another day paint and clearing. 2 days of work.