80 mini pro はホールセンサー付いてるみたいですが、オートスリープ対応のケースありますか？