AREX sold out?

Earlier saw recommendation here that there's zero need to book AREX tickets. However now it shows that trains tomorrow at midday are all "sold out". Does this mean there is no point going to Seoul Station and I should just get a taxi?