Reno, if this was my patch I would just cite the first line of 210.52
"210.52 Dwelling Unit Receptacle Outlets.
This section provides requirements for 125-volt, 15- and 20-ampere receptacle outlets."
A 240 v outlet would be "other" (as in "no other outlets").
I can ask this over at Fl IAEI but I bet there isn't a CBO in Florida who would not agree with me.
