That’s really good. It was a typo in my text: parts should be switched in my first question.
We have a very similar situation with booking for 12-day Millennium cruise from Singapore to Tokyo (March 3, 2025). We paid $5,264 total (cruise fare, port charges, tax, included classic beverage package, wi-fi, included gratuities (we booked this trio combo before Celebrity removed gratuities from it), refundable deposit), the lest expensive Aqua category (free upgrade to the next category) and $200 (book onboard) OBC. It was a group booking with our cruise agent. The regular price through Celebrity at that time was $8,600. A few days ago I looked and saw over $13,000 fir the same category with the same other items!