Mayberry’s “Mike the Banjo Man” plays a tune from the “Mayberry RFD” TV with Andy Griffith