Got a second quote. This electrician is willing to do it for $375, but that’s no GFCI breaker, #8 copper wire, a self-sourced outlet, and (likely) no permit.
I asked for #6 wire and he said it would be an additional $150 because he would have to buy additional wire and it’s very expensive...