Randy is a great guy. So very glad he's doing well.