A 5mm or possibly a 7mm yes.
Seeing far too many shaking, freezing customers and people skipping dives at the moment, especially in the 24-25c.
Ive still never seen a single person too hot on a dive anywhere in the world. I have however seen hundreds too cold on a dive in many places.