@PantLoad:
you'd better hope the brakes are in good shape (not worn to just above minimum limits)...
While a perfectly respectable hope - any margin is worth having in a max energy RTO - the numbers are, at least in theory, good for "fully worn" brakes, and must be demonstrated with 90% worn brakes in the max KE case.