JoeSpareBedroom wrote:

Yeah, but why NOT use a 20A outlet, for the small difference in price (if
any)?

I'm not saying its a bad idea. (In fact, under the circumstances I
probably would use a 20A dual receptacle.) I'm saying that it's not
required by code.

There's a small but (to me at least) significant difference.

Chris