RobertWe found Gwangmyeong Cave (광명동굴)! This is a site to visit for the fun of it - not for culture or history. The cave is a converted mine, and the mine does have a sad history which is covered in a small museum inside the cave, but most of the cave is about creating surreal spaces. A few photos here and more on my notes page.
https://rlok.notion.site/Gwangmyeong-Cave-753c4d050fa3468785e7bb3879e87438?pvs=4
