幌別西小の校門の軟石 について知っていることをぜひ教えてください

　私の子供の通う幌別西小学校の校門の軟石はグレーなのだがやはり登別軟石と思われる。昔は学校の門を作るときには必ず地元の登別軟石を使うように建築担当者が指導していたのだろう。今はどうだろうか？