HP Mini 2133 能用8.9吋 Eee PC專屬的保護套嗎?

小弟最近透過朋友入手了一台MINI
但是要等到7月底才拿的到機子
所以沒辦法親手測量
爬遍了官網,01和PxHOME購物網
就是找不到HP Mini 的三圍

因為到時候會常把這台帶去學校
可是又怕騎車震動多傷到硬碟
所以想入手一個比較好的保護袋
可是除了01購物網那個貴貴的皮套以外
好像都沒有HP Mini專用的保護套/袋

在pxhome看到了2個EeePC專用的
但是不知道放HP Mini會不會太大 或是 太小

商品1的規格如下
ETA-ZSB108 W255×D25×H190mm W225×D40×H165mm 210g Eee PC
連結點這

商品2的規格如下
250mm*190mm*28mm
連結點這

不知道各位HP Mini的主人們
你們都幫Mini穿什麼保護套
能推薦給小弟一下嗎?
OR
能提供一下HP Mini的三圍給小弟我
好讓我自己去找適合的保護套


感激不盡
因為小弟我在國外
所以沒辦法到台灣的實體商店購買>"<殘念