Another option is going with the HDPLEX AC-DC adaptor (sounds like a great cover band name!). Its 98$ and much cheaper than buying the 150$ Dell Brick, but does it fit, and will it work?
https://www.hdplex.com/hdplex-internal-400w-ac-dc-adapter-with-active-pfc-and-19vdc-output.html