Thank you very much for your feedback! It's always a pleasure when people find references that we hadn't particularly thought of!
