There are lots of "names" visible in the graffiti they left behind, and not just "Santa."
"Johnny + Kristen"
"US Army Cristian [sic]"
"JM + AC"
"Chaos McAdoo"
"Mack 191" - a repeat offender out there. I remember this tag from previous graffiti removal
The #4 name, hard to read from photos, on the big rock with a numbered list of names, "FUCK YOU 1, 2, 3, 4 ... , 5. Santa"