get an aftermarket power cord for a lot less than HP. A co worker just went through this this week.
I could have gotten me one for $25 with shipping through ebay but my PayPal doesn’t work for me. I am not going to link it to any bank account.