some how when we were on the lake yesterday our cushion tips were lost off of our swim ladder. does anyone know the size of the tips? one inch?we didn't measure while we were there and would like to purchase the correct size without have to go back to the boat to measure. thanks!!