The Rough Guide to Rajasthan, Delhi & Agra by Rough Guides, Gavin Thomas & Rough guide