¿De dónde obtuvo el nombre la banda Petra?

Petra es un nombre griego que significa "roca". La banda eligió este nombre porque quería que su música fuera una base sólida para sus oyentes. También sintieron que el nombre Petra representaba su fuerte fe cristiana y su compromiso de difundir el Evangelio a través de su música.