Thanks, all. The nice thing about eleven-year-old books is that there are lots of inexpensive used copies on Amazon.