With only 9 days in Korea I would do something between Seoul and Busan (Jeonju, Gwangju, Gyeonju, etc). Jeju is ok, but if you've been to Hawaii, Mexico or really any other beachy relaxed place you'll probably be disappointed. I know we were and definitely wished we had spent our 2 days elsewhere.