Fun Opera in Edinburgh on a Rainy day