I don’t know, but he did used to be a bank examiner for the FDIC, per the link.
That is why I questioned it and also because JPS was from Texas. He was a nice guy as I was up to his office many times.