that's honestly a good quote (around here atleast) if it includes materials, if possible you can just add a new breaker to your box and just run a 10 gauge wire to your workshop yourself (self satisfaction
). i might just let someone do it though, alot of people are quite hesitant around electricity for good reasons.
But you are certainly on the right track with the machine you are looking at , It'll probably last a good 45+ years!!!