hp놋북을 하나 장만하다 궁금한게 생겻는데요

애니에서 놋북 나오면 보통 애플이나 도시바 같은 놋북 브랜드가 나오잔아요. 당연히 일본 애니니깐 일본 브랜드가 자주 나오겠죠. 근데 hp가 일본 분위기하고 워낙 멀어서 그런건진 잘 몰겠는데 지금까지 hp에서 만든 놋북을 애니에서 본 적이 없네요.. 혹시 hp브랜드의 놋북이 나오는 애니는 없나요??