Re: disconnect for spa/hot tub
All the more reason to have an copy of the NEC.
But 680.41 refers to an emergency shut off, which is not the same as a disconnect. Here is the key section:
680.42 Outdoor Installations.
A spa or hot tub installed outdoors shall comply with the provisions of Parts I and II of this article, except as permitted in 680.42(A) and (B), that would otherwise apply to pools installed outdoors.
Then 680.12 is in Part I, and yes a disconnect is required.
When reading the code, we often don't pay any attention to the parts, but we need to. Any requirement in Part I applies to the entire article. Other parts can modify Part I. Your electrican just can't read the part on hot tubs with out part I.
What does the AHJ say when it is inspected? I would never install a hot tub with out a permit.