Sorry, unrelated request, but can you tell me the name of the terminal or facility where the cruise ship is laid up? I’ve always been told there are no layberths available in the Tampa area, but get requests several times each year asking to put and idle vessel in the Tampa area to await work.