How much is 15.5 mm? If it is 1/4 in or less just use weather stripping?