I wasn't sure what category to put this in, so I put it in what seemed to be the most general one, but does anyone know the difference between these 3 models? They seem the same to me, except for that they all seem to be available in different continents, the NA, EU and AUS.

Also, does the F80DAB have an HDMI port?