Orange pub, the Robin Hood Hotel sells for $19 million