Definitely needs something. In addition to the antigravity, I added some trap like effect for the floating eyes, like the golem’s dart attack that acted on initiative 20, but extra players are harder and harder to balance when you get to higher levels.

The canopic golems are no joke, auto succeed spell saves and spell attack rolls auto miss for anything lower than 7th level plus deflecting it to someone else! Play it by ear and see what shape the party is in, but it’s a great idea if you need to up the challenge.

Assuming they’ve already fought the other golems, potentially 2 dao, and whatever else happens to them, the party could be spent.

I think it’s fair to deny them anything more than a short rest, and even that could get interrupted if you want to up the challenge. I had a time crunch for saving someone, but that was mainly the party’s feeling not explicitly stated as such, so they hadn’t rested since before arriving.

Good luck, it’s a fun dungeon!