I want to know the answer to the following question:
What type of mandolin do rock musicians today use?
All the background I'm provided with is that "Pop punk band Green Day has used a mandolin in several occasions, especially on their 2000 album, Warning.". Is that enough to answer the question?