The bar at The Cutlers Hotel has now been renamed Jaipur Arms, so perhaps the pub's name should be your choice of Jaipur Arms (The Cutlers Hotel) or The Cutlers Hotel (Jaipur Arms).