Sad to hear news that Willie Mitchell died today.