>I wish it had an Ethernet port though.

You may already be aware of this, but just in case you're not, you can buy an adapter for Ethernet for $20-$30.

Lots of people don't think Ethernet ports are important anymore, but I've been to quite a few hotels that still have wired internet.