gnu Yup. 17" and 3.5 gallons per use.

The 17" (to the top of the porcelain) is about as tall as you can get in my area, and you may have to open the box and measure to find out how tall one is at the plumbing shop. I've seen a few that look to be about 19 - 20" tall in public-place "handicapped stalls," but couldn't find a manufacturer or distributor for anything taller than 17" last time I looked.

Our previous installation was one of the (new at the time) 3.5 gpf kind, but didn't save a lot of water 'cause it required more than one flush about half the times. Our latest is rated 1.7 gpf and works almost every time. Both were/are nominally 17" tall, but "popular" styles run as short as 12.5" which is almost like sitting on the floor (which I've heard is the popular style in some places I don't much care to visit).

John