Filesize confirmation, even MD5's, are kosher. ~18GB seems about right for the current (version 2.x) MKV of both Star Wars and Empire. ~7GB seems about right for the older (version 1.0) AVCHD releases, which is current only for Jedi.
They're big because Harmy don't make no crap ;)