32BUDS Length and ADCO Tyvek Cover

I'm not at home but plan on stopping by and getting an ADCO Tyvek cover for my 32 BUDS. Anyone else out there either know the measured length of the 32 BUDS as needed for covers (including bumper) or has bought one of these covers and can comment on which size is necessary?

Thanks,

JEff