Have them paint it all white for now and maybe paint the stripe and grey at a later date your self. Save the 850$ and at least walls are clean and sealed till you heal.
Painting stripes is just crazy. Why go through all that trouble when you can buy a roll of vinyl red tape. Took me about an an hour to do a stripe in my 30x38 garage. No lazer needed either. Just used a four ft level.