“13X9.5 are my current (Sleeve) dimensions for an HP Spectre X360 purchased around 2017. What is my best bet for a very thin lightweight sleeve without side zippers?”