does anyone know the diameter on a 2012 Bad Boy 1 down tube?