Some rock musicians today use mandolins, often single-stringed electric models rather than double-stringed acoustic mandolins. Which Italian-American punk band uses Mandolins