We're getting close now. The index is nearly done. It has about 5900 entries, with about 9600 locators. (I've rounded the numbers because they'll probably change a little as we do some fine tuning.) We're typesetting the index small (8.5 point), but it's still going to run to 60 pages. Current target is for files to go to the printer in about a week, and for the printing to be finished near the end of August, which means available in September.