2 ms·Ooh, much appreciated! Especially since a new hardcover is ~$150. Edited to note this.by striking 11y agoOoh, much appreciated! Especially since a new hardcover is ~$150. Edited to note this.