Interesting tid-bit of history, Mike. Thanks for the info.