Hokiwon is an amusement establishment.