We are booked for a 4 day cruise on Holiday May 14. I was on the ship a few years ago and enjoyed the trip but am now hearing,from our travel agent, how run down it has gotten. Would cruisers from recent trips care to comment on how the old girl is doing? It is a quick get away on an old ship so I am not expecting world class but am hoping it is at least satisfactory. Thanks.