Some lesser-know facts about Mysore