If the buttons on the hot tub's RCD are stuck, the RCD needs to be replaced.