I think this was done using the googlemaps flash source package available here
googlemaps plugin. They purchased that package and then built a custom gui in flash. If you wanted that exact look you would have to contact them and ask to purchase their swf or their fla file. Great looking implementation I must say, although it is incredibly slow on my system, may be they have a slow server.
Good Luck