Given that is was a domainer who paid $17K in 2007 (I don't know that), it seems reasonable that an end user would pay a bit more for the branding these days. Keep in mind banks have a lot of startup costs, so acquiring a domain in the 5 figure range shouldn't be much of an issue to them.
After all, if you plan to spend low to mid 6 figures or more in just startup advertising costs (TV and Radio are not cheap, nor are the production costs to put the for air packages together), you'd want to have a truly unforgettable brand to promote and frankly a branding like uffydo.com just isn't going to cut it.
Back in the early days of the commercial Internet (and yes, I am a dinosaur), GE used to say that it cost a billion dollars to create a new brand. The Internet has short circuited those costs through such things as social media and reduced costs for promotion.
The good news is that a brand can form pretty quickly and far less expensively these days. The bad news is a brand can also be damaged far faster than ever before.
Perhaps one day there will be a way to control the seemingly orchestrated brand damage crowds who live to be a CIO's online brand management nightmare, but it is unclear exactly when that day will come. Maybe it will happen come the day when AI applications don't end up getting so confused and misguided from the handiwork of evil Internet trolls.