Just stumbled across Google's indoor maps on Android; they don't exist in Ireland. Very cool feature!