社外ナビの購入を考えていて中古で買う予定なのでフィルムアンテナのみ新

社外ナビの購入を考えていて
中古で買う予定なのでフィルムアンテナのみ新品を用意する必要があるのですがどういうものを用意すればいいか詳しい方教えてもらえないでしょうか。
取り付け車種はRK5ステップワゴン Wagonスパーダで本体はALPINEのEX900です。
全て揃ったら知人の整備士の方に取り付けをお願いする予定です。
ご回答よろしくお願いいたします。

https://store.shopping.yahoo.co.jp/antenna-navishop/set-512-t04-ex900.html?sc_e=sydr_eclist_pdlist-pdlist_ttls_statrep_30000017_30000017&__ysp=YWxwaW5lIGV4OTAw

現在付いているナビは純正のインターナビですか？もしそうなら交換大変です