It’s a relatively small price to pay, given the more than $54 billion already flushed down that particular toilet.