Replacement keyboards are £14 on eBay
https://www.ebay.co.uk/itm/HP-Proboo...EAAOSwUBpatS3a
Instructions to replace are here
Looks fairly straightforward or I'm sure a local computer repair shop would be able to do it for you if you didn't want to attempt it yourself.