<human>: Question: By what other name is John Benetiz known?

Is "Some of these notable DJs are John Benetiz (better known as JellyBean Benetiz), Danny Tenaglia, and David Padilla." the correct answer?

OPTIONS:
- yes
- no
<bot>: yes