+1 to Logitech Harmony remote controls
For £35 one can get cheap 350 model to control 4 devices I think.
I can’t see good reason (false peace of mind) to hunt for original remotes sometimes for not reasonable prices.