Looks like it might be a 20mm driver as well…there are adapters for going from 17mm to 20mm, also Texas Pyro has made a 20mm Nanjg 8*7135 compatible driver from OSHPark. (you don’t want to do the soldering so here is the example with the adapter, very easy)