Managed to get 5 tickets at 9:56, first time attempting with auto-refreshers
Using separate 7 different IPs:
5 using auto-refreshers (4 on Chrome, 1 on Firefox) with varying refresh rates between 1.1 - 2 seconds
One device manually refreshing on iPhone (Safari), probably around 30 refreshes a minute
One manually refreshing on Android (Chrome), similar to above
It was the Safari device which got us through