Well I spoke to the head and the bursar today and they both said "well, yes! What a fascinating use of the pool!"
It looks like we have us a dive-in, even though the pool is not the biggest. Im getting dates from the school next week: they have other users and dont want a conflict.
I'll post the dates as soon as I have them, but in principle, we can have at least one dive-in this holiday, possibly a semi-regular event if we want it.
David