Since we don't really know if Fest will move or not, it's an academic question. Or a silly one! Personally, I love the name Revel Grove, and I hope that whatever the future holds, they'll keep that name (and the names of some of the taverns and stages).