Other options...
There's also a Yotel in T4 (Groundside) which rents 'cabins' by the hour. It's cute and reasonably comfy. With a six-hour overnight connection, you can actually get a couple hours of a nap and won't have to shell out for a whole night's hotel or leave the terminal.