thanks and yes it is!
The largest of those cute red Mushrooms was about 1 cm in diameter, really tiny little gems.
And yes, it will be nice not to have to go inside whenever we have a couple of drops of rain. We love the construction so far, it measures 16 x 16 feet, a good size.