What is the proper wall socket for the 9PX2000RT and 9PX2000RTN?

Contractors will be installing 9PX2000RTN UPS with a 9PXEBM72RT attached in the coming weeks. Our maintenance department needs to provide electrical outlets for these devices. They are asking what type of receptacle is needed and how many amps will these units pull?

To plug in the 9PX2000RTN (or 9PX2000RT), you'll need a 20-amp 5-20R wall socket/outlet.