Does anyone know, with certainty, the seat tube diameter for a Schwinn Heavy-Duti, like this one? I'm trying to get an extra long seat post. The Schwinn call center rep was wrong when she told me that it is 25.4 mm. It is smaller than that. Bonus points if you can tell me where to buy one that is at least 380 mm long. Thanks!