I would highly recommend GFCI protection for both of you. My circuit uses a 30 amp GFCI breaker in the main box in my shop. I ran the wire and installed the conduit and outlet myself. Probably cost around $300 total to do so (GFCI breaker, 100' of 10/3, 10' of conduit, dryer outlet, misc. screws and straps). Do not skimp on safety. If you don't feel comfortable wiring it yourself, try talking to a couple other electricians if possible. I don't know your specific situation (wire length, construction type, etc.) but the quote from the electrician does seem like a lot.
If you can swing it buy the complete package with accessories including the digital control box. I really like having everything from the same company in the off chance you have an issue with something.