Thanks! This is good news. We enjoyed the Petroleum Museum and (weirdly enough) the Sardine Museum on a previous visit to Stavanger and were looking forward to doing it again. We thought Stavanger was very walkable but, hey, the Ho-Ho Bus works as well.
Enjoy the rest of your cruise!