SSC: while I'd heard of Petra in middle school (had a friend who liked them), I pretty much just twigged to the fact that their name is a pun (and a multiply layered one) while reading this thread.