That’s fair, perhaps the hot tub was not a great example. My point was the ship was in decent shape but was showing some wear in some places. It really just needs a bit of sprucing.
The jet/whirlpool buttons I saw were worn away/broken and I thought it was odd they were left that way. It did not impact my enjoyment of the cruise, it was just something I noticed. I figured at the time, perhaps incorrectly, that they save repair/replacement for larger items for times like dry dock. I guess I was wrong.