Thanks for all of the responses, I suppose my goal in this was to see if there was a hotel attached to the terminal. A shuttle or taxi doesn't sound too bad but I doubt I'll be stopping for a burger unfortunately!
Was looking at the Hilton before but at $75 or $80 the Westin sounds like a decent call.