そこの温泉は八卦掌を紹介してるんじゃなくて、あくまでも【不老長寿九宮飛び】として看板で紹介しており
出典も八卦掌より古い古文書を明記していた。
まぁ形意拳家が八卦掌家と交流して盤根法とか名前を変えて同じ練習を取り入れてるパターンは多いので
郭雲深が弟子の孫禄堂あたりから教わったり、あるいは八卦掌家と交流していても不思議はないわけだが。