専用チューナーとアンテナ、ドコモが用意するのかね?