Thank you, celtica96. I had a feeling this might be the case. You might want to look at the Archos 5 Android IT. From what Chippy at UMPCPortal says, its a great little device that had problems at first, but firmware has fixed it. I'm also reviewing the W1060, which will have Android by end-of-year. It doesn't have HDMI out though.
Anyhow, I know the Archos 5 Android is smaller, but you might want to take a look.