It looks as if I'll have to do the repair myself.

New keyboards are available from the OEM (Vivo) for about $40. The HP
maintenance manual is available via the internet. That leaves a few
issues unresolved but since the thing was working in the past I'll
assume it can be returned to service.

-R.S.Hoover
-(KA6HZF)