Anyone know the regs for basins in public toilets?