This includes all the large banks and financial services firms (Bank of America, Citi, AIG, etc.), which to me all feel like ad-hoc, informally-specified, bug-r

This includes all the large banks and financial services firms (Bank of America, Citi, AIG, etc.), which to me all feel like ad-hoc, informally-specified, bug-ridden implementations of half of a bank.