wocolt,
The yoke of the receptacle requires a double volume allowance...2.25x2=4.5. This would require a larger box. Not to mention,that the installer may be going to try and cram a GFCI receptacle in there. [Linked Image]

Donnie