I am flying from the UK to JFK landing at 11.35pm and my connection to SXM is 8.30am the next day.

Is it worth booking a hotel, for what will be about 5 hours, or is it Ok, to hang out in JFK

Suggestions and ideas please XXXX