Any idea what proportion of public toilets in the US do not have lids?