I made 600 landings at Tegucigalpa, Honduras up in the mountains. It has a 70 ft cliff off the end of a 5400 ft runway. Taca killed a bunch of people about two years ago going off the end in an A310.
Lets say we are touching down, select reverse, and find we have no brakes on any system. Do we follow the manual and go off the cliff or stow the reversers and go around and land at San Pedro Sula? What would you do? Would you follow company procedure? I hope not.