Fullsize files (approx. 3000 by 4000 pixels uncompressing to approximately 30 megabytes per picture) are in filenames seat1.jpg, seat2.jpg, seat3.jpg, seat4.jpg, seat6.jpg, seat7.jpg.