Thanks all for the suggestions. Was determined to stay in the J lounge, but if it's not possible to sleep there for a couple of hours (it's mildly crowded everytime I pass by, but I was counting on it being after midnight, perhaps less people), I might just as well go for the airport hotel...