Thanks, Red5 (nice job on the Death Star, by the way).
As it turns out, we're going to get up early rather than stay over, so no hotel needed now (I was typing this while you were typing your reply; sorry to waste your time).
For anyone looking for a good hotel website,
www.laterooms.com was pretty good.
Carl