So glad to hear the Mariner is fixed.
Would be interesting to see pictures of the damage that was repaired.
Wish we had some.
Glad you had a wonderful but short cruise.
mariner is so cool.