During peak seasons from 4th to 10th month, it operates every 15 minutes from 1:13pm to 7:45pm. At other times, it runs every 23 minutes. The difference in time isn’t much anyway; you can play around at the station for a while.
“During peak season from April to October, there are departures every 15 minutes from 1:13 PM to 7:45 PM. During other times, we leave on schedule in 23-minute intervals. The difference in time isn’t much, so you can play around at the station.”