Yes, that Steve Martin of “The Jerk” fame etc. He plays a pretty mean banjo too. He recently performed on Jools Holland’s Later (my favourite live music show!). I’m getting a banjo and mandalin for my Xmas & Birthday combined. Always fancied one!