That should be fine.
The Dell power block is rated at 12V, 12.5A max but the PC only draws about 8A normally. (At bootup it can peak to about 12A.)
The DSX12VD can supply 12V, 12A under normal conditions, 15A peak.
I'm going to use one with my SX260.