Our GOL flight gets in at 00:35 and I am guessing the airport hotels shuttle buses won't be running at that hour. Since we are on a budget, we basically have a choice between Fast Sleep http://www.fastsleep.com.br/conceito.html and one of the airport hotels, probably the Ibis since its the cheapest. The Guarulcoop taxi website doesn't have price quotes, does anyone happen to know how much a taxi would be to that area at that time of night? Or does anyone know if any of the airport hotels have 24 hour shuttle service?

Using Google translate, it seems that Fast Sleep rents cabins by the hour, however I couldn't figure out how to book on that website. Booking.com has Fast Sleep but I don't know if they would hold the cabin until after midnight even with a credit card. Has anyone ever stayed there?