The idea of holding a satellite dish on to its mounting pole applying "sprung pins" is unique to Starlink (apart from satellite systems for caravans) and which includes to tell you something. We would suggest a hole of 20mm in diameter, these dimensions drill bits usually are not that costly https://starlinkdishinstallation47776.bloggerchest.com/28875430/about-starlink-dish-installation