On my Dell 7450 the keyboard was faulty, ordered a new one.
Now the original, with the extra buttons was £45, without the buttons (slightly different model) £15. Since I never used that, I printed a cover and saved £30.
I used Galaxy Black PLA Prusa fillament, but any is good.
Check our Youtube channel: https://www.youtube.com/@southlondonrepair
The author marked this model as their own original creation.